Using a formal specification and a model checker to monitor and direct simulation.
Serdar TasiranYuan YuBrannon BatsonPublished in: DAC (2003)
Keyphrases
- formal specification
- model checker
- model checking
- formal methods
- formal specification language
- specification languages
- object oriented design
- specification language
- process algebra
- formal verification
- concurrent systems
- temporal logic
- reverse engineering
- description language
- epistemic logic
- databases
- business rules
- building blocks
- knowledge based systems
- programming language
- web services