A Model Checking Method for Partially Symmetric Systems.

Serge Haddad Jean-Michel Ilié Khalil Ajami

Published in: FORTE (2000)

Keyphrases

model checking
verification method
binary decision diagrams
software engineering
formal methods
asynchronous circuits
concurrent systems
reachability analysis