Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems.
Indranil SahaJanardan MisraSuman RoyPublished in: ATVA (2007)
Keyphrases
- finite state
- real time systems
- model checking
- markov chain
- markov decision processes
- distributed systems
- real time
- temporal logic
- embedded systems
- formal verification
- timing constraints
- optimal policy
- search algorithm
- context free
- transition systems
- action sets
- reinforcement learning
- reactive systems
- model checker
- tree automata
- real time database systems
- average cost
- language model
- object oriented
- object oriented programming language