From Durational Specifications to TLA Designs of Timed Automata.
Yifeng ChenZhiming LiuPublished in: ICFEM (2004)
Keyphrases
- timed automata
- model checking
- temporal logic
- formal specification
- concurrent systems
- bounded model checking
- reactive systems
- reachability analysis
- formal verification
- finite state machines
- specification language
- theorem prover
- modal logic
- first order logic
- design requirements
- asynchronous circuits
- theorem proving
- real time
- delay insensitive
- case study
- design space
- control flow
- real time systems
- functional requirements
- machine learning
- high level
- neural network
- databases
- probabilistic model