Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata.
Ting WangJun SunYang LiuXinyu WangShanping LiPublished in: TACAS (2014)
Keyphrases
- timed automata
- specification language
- model checking
- formal specification
- programming language
- reachability analysis
- theorem prover
- description language
- temporal logic
- formal verification
- theorem proving
- first order logic
- symbolic execution
- formal methods
- model checker
- requirements specification
- real time systems
- software environment
- information systems
- dynamic programming
- search space