Formal Verification of Diagnosability via Symbolic Model Checking.

Alessandro Cimatti Charles Pecheur Roberto Cavada

Published in: IJCAI (2003)

Keyphrases

symbolic model checking
formal verification
model checking
model checker
software engineering
temporal logic
artificial intelligence
partial observability