Inspec keywords: formal verification; cyber-physical systems; constraint handling; finite automata; program testing

Other keywords: automated test generation approach; Model-based development frameworks; I/O-EFA model; constraint solving; model checking; error localisation; model-based CPS designs; input-output extended finite automata; cyber-physical systems

Subjects: Formal methods; Knowledge engineering techniques; Automata theory; Diagnostic, testing, debugging and evaluating systems