Formal Verification vs. Quantum Uncertainty.
Robert RandKesha HietalaMichael HicksPublished in: SNAPL (2019)
Keyphrases
- formal verification
- model checking
- automated verification
- bounded model checking
- model checker
- symbolic model checking
- program slicing
- uncertain data
- conditional probabilities
- quantum computation
- probability theory
- functional verification
- quantum inspired
- artificial intelligence
- decision theory
- belief functions
- temporal logic
- markov decision processes
- object oriented
- reinforcement learning