Verifying Simulink diagrams via a Hybrid Hoare Logic Prover.

Liang Zou Naijun Zhan Shuling Wang Martin Fränzle Shengchao Qin

Published in: EMSOFT (2013)

Keyphrases

proof search
automated theorem proving
control algorithm
control system
theorem proving
theorem prover
modal logic
logic programming
logical framework
classical logic
predicate logic
verification method
answer set programming
model checking
multi valued
computational properties
deontic logic
databases