Efficient model-checking of dense-time systems with time-convexity analysis.
Farn WangPublished in: Theor. Comput. Sci. (2013)
Keyphrases
- model checking
- temporal logic
- automated verification
- finite state machines
- formal methods
- expert systems
- finite state
- distributed systems
- formal verification
- reachability analysis
- verification method
- temporal properties
- reactive systems
- asynchronous circuits
- artificial intelligence
- model checker
- transition systems
- knowledge based systems
- artifact centric