Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- protocol specification
- model checking
- bayesian networks
- formal specification
- high level
- face verification
- bayesian inference
- inference process
- probabilistic inference
- knowledge representation languages
- probabilistic reasoning
- database systems
- functional verification
- real time