Natural Hoare Logic: Towards formal verification of programs from logical forms of natural language specifications.
Jayaraj PoroorPublished in: CoRR (2021)
Keyphrases
- formal verification
- bounded model checking
- model checker
- program slicing
- natural language
- model checking
- automated verification
- logical formulas
- dynamic logic
- symbolic model checking
- formal language
- temporal logic
- transition systems
- recursive programs
- natural language interface
- logical operations
- formal specification
- delay insensitive
- formal methods
- asynchronous circuits
- logical representation
- control flow
- probabilistic logic
- natural language processing
- knowledge representation
- machine learning
- linear temporal logic
- artificial intelligence
- truth values
- logical framework
- description language
- finite state machines
- modal logic
- software engineering
- knowledge base
- predicate calculus
- binary decision diagrams
- predicate logic
- model theoretic
- fixpoint
- knowledge based systems
- logic programs
- inconsistent knowledge