On Inductive Verification and Synthesis.
Dennis PeuterViorica Sofronie-StokkermansPublished in: LuxLogAI (Student / Workshop Papers) (2018)
Keyphrases
- functional programs
- model checking
- machine learning
- verification method
- inductive logic programming
- inductive inference
- inductive learning
- program synthesis
- information systems
- texture synthesis
- face verification
- rule learning
- data sets
- inductive reasoning
- high security
- formal verification
- signature verification
- database
- asynchronous circuits
- formal analysis
- background knowledge
- image sequences
- image processing
- functional verification