Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems.
Sérgio Vale Aguiar CamposEdmund M. ClarkeWilfredo R. MarreroMarius MineaPublished in: Workshop on Languages, Compilers, & Tools for Real-Time Systems (1995)
Keyphrases
- quantitative analysis
- finite state
- real time systems
- markov chain
- object oriented programming language
- qualitative analysis
- markov decision processes
- architectural model
- model checking
- embedded systems
- real time
- qualitative and quantitative analysis
- distributed systems
- optimal policy
- average cost
- real time embedded
- mission critical
- qualitative evaluation
- tree automata
- timing constraints
- partially observable markov decision processes
- real time database systems
- continuous time markov process
- finite state transducers
- anytime algorithms
- infinite horizon
- language model
- low cost