Triggerless Happy - Intermediate Verification with a First-Order Prover.
Yuting ChenCarlo A. FuriaPublished in: IFM (2017)
Keyphrases
- first order logic
- theorem proving
- theorem prover
- years ago
- model checking
- term rewriting
- higher order
- formal verification
- signature verification
- functional verification
- stochastic dominance
- linear temporal logic
- face verification
- inference rules
- description logics
- natural language
- formal analysis
- case study
- decision trees
- conditional logic
- asynchronous circuits
- automated theorem proving
- information retrieval
- machine learning
- real time
- database