Integrating Topological Proofs with Model Checking to Instrument Iterative Design.

Claudio Menghi Alessandro Maria Rizzi Anna Bernasconi

Published in: CoRR (2018)

Keyphrases

model checking
temporal logic
formal verification
finite state
temporal properties
automated verification
formal methods
model checker
verification method
transition systems
knowledge based systems
finite state machines
symbolic model checking
partial order reduction
artificial intelligence
concurrent systems