Formal Verification of Local and Global Observability of Polynomial Systems Using Quantifier Elimination.

Klaus Röbenack Rick Voßwinkel

Published in: ICSTCC (2019)

Keyphrases

formal verification
quantifier elimination
automated verification
model checking
symbolic model checking
database
constraint propagation
formal methods
expert systems
first order logic
transitive closure
model checker