Probabilistic Formal Verification of the SATS Concept of Operation.
Muhammad Usama SardarNida AfaqKhaza Anuarul HoqueTaylor T. JohnsonOsman HasanPublished in: NFM (2016)
Keyphrases
- formal verification
- model checking
- bounded model checking
- bayesian networks
- symbolic model checking
- model checker
- automated verification
- generative model
- probabilistic model
- uncertain data
- program slicing
- probabilistic logic
- artificial intelligence
- probability theory
- conditional probabilities
- description logics
- neural network
- data sets