Advanced features in SMART: the stochastic model checking analyzer for reliability and timing.
Gianfranco CiardoAndrew S. MinerMin WanPublished in: SIGMETRICS Perform. Evaluation Rev. (2009)
Keyphrases
- model checking
- advanced features
- asynchronous circuits
- temporal logic
- temporal properties
- formal specification
- formal verification
- model checker
- development tools
- oracle database
- symbolic model checking
- automated verification
- epistemic logic
- verification method
- formal methods
- database objects
- computation tree logic
- transition systems
- bounded model checking
- object oriented