First Steps towards Deductive Verification of LLVM IR.
Dré van OorschotMarieke HuismanÖmer SakarPublished in: FASE (2024)
Keyphrases
- information retrieval
- model checking
- query expansion
- machine learning
- object oriented
- abductive inference
- asynchronous circuits
- person identification
- retrieval effectiveness
- information retrieval systems
- test collection
- formal methods
- database
- relevant documents
- retrieval model
- text retrieval
- information access
- explanation based learning
- face verification
- signature verification
- ad hoc retrieval
- knowledge representation