Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories.

Petr Bauch Vojtech Havel Jiri Barnat

Published in: Softw. Qual. J. (2016)

Keyphrases

modulo theories
satisfiability modulo theories
temporal information
control system
temporal constraints
model checking
temporal reasoning
artificial intelligence
knowledge base
expert systems
constraint satisfaction