Cohesive Coverage Management: Simulation Meets Formal Methods.
Aritra HazraPriyankar GhoshPallab DasguptaPartha Pratim ChakrabartiPublished in: J. Electron. Test. (2012)
Keyphrases
- formal methods
- formal specification language
- formal analysis
- knowledge based systems
- provably correct
- safety critical
- simulation model
- model checking
- data management
- management system
- information systems
- artificial intelligence
- modeling language
- formal specification
- process algebra
- model checker
- knowledge base
- life cycle
- temporal logic
- object oriented