J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols.
Ahmed SobeihMahesh ViswanathanDarko MarinovJennifer C. HouPublished in: IPDPS (2007)
Keyphrases
- model checking
- network protocols
- temporal logic
- reactive systems
- symbolic model checking
- verification method
- temporal properties
- formal specification
- formal verification
- model checker
- automated verification
- timed automata
- real time
- bounded model checking
- reachability analysis
- formal methods
- computation tree logic
- asynchronous circuits
- linear temporal logic
- artificial intelligence
- epistemic logic
- satisfiability problem
- state space
- alternating time temporal logic