Inferno: Streamlining Verification With Inferred Semantics.
Andrew DeOrioAdam BausermanValeria BertaccoBeth IsaksenPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2009)
Keyphrases
- model checking
- logical language
- website
- formal semantics
- concurrent systems
- case study
- logic programming
- semantic information
- conceptual model
- formal verification
- intended meaning
- databases
- proof theory
- asynchronous circuits
- epistemic logic
- formal analysis
- face verification
- keywords
- artificial intelligence
- real world
- neural network