Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction.
Oren Ish-ShalomShachar ItzhakyNoam RinetzkySharon ShohamPublished in: CoRR (2021)
Keyphrases
- functional programs
- symbolic execution
- model checking
- recursive programs
- hardware designs
- neural network
- knowledge representation
- concurrent systems
- formal methods
- automatic programming
- inductive reasoning
- asynchronous circuits
- java programs
- feedback loop
- face verification
- inductive learning
- database
- provably correct
- transformation rules
- concept learning
- linear array
- java bytecode
- temporal logic
- real time