Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction.
Oren Ish-ShalomShachar ItzhakyNoam RinetzkySharon ShohamPublished in: VMCAI (2020)
Keyphrases
- recursive programs
- symbolic execution
- functional programs
- hardware designs
- machine learning
- model checking
- program synthesis
- formal verification
- inductive learning
- computer programs
- face verification
- programming environment
- reduction method
- inductive logic programming
- java bytecode
- verification method
- loop formulas
- programmable logic
- transformation rules
- provably correct
- program execution
- rank order
- feedback loop
- concept learning
- knowledge representation
- information systems
- artificial intelligence
- genetic algorithm