A note on the verification of automata specifications of probabilistic real-time systems.
Arnaldo V. MouraGuilherme A. PintoPublished in: Inf. Process. Lett. (2002)
Keyphrases
- real time systems
- embedded real time systems
- concurrent systems
- distributed systems
- model checking
- real time
- automated verification
- timed automata
- reactive systems
- formal verification
- finite state machines
- asynchronous circuits
- embedded systems
- model checker
- bounded model checking
- timing constraints
- cellular automata
- probabilistic model
- formal specification
- object oriented programming language
- protocol specification
- bayesian networks
- architectural model
- mission critical
- temporal logic
- case study
- data model
- anytime algorithms
- control flow