Modular System Verification by Inference, Testing and Reachability Analysis.
Roland GrozKeqin LiAlexandre PetrenkoMuzammil ShahbazPublished in: TestCom/FATES (2008)
Keyphrases
- reachability analysis
- model checking
- formal verification
- temporal logic
- timed automata
- markov decision processes
- test cases
- bayesian networks
- symbolic execution
- state space
- probabilistic inference
- formal methods
- inference process
- test generation
- bayesian inference
- markov chain
- function approximation
- planning domains
- test suite
- expert systems
- incremental algorithms
- objective function
- artificial intelligence