Software Verification Using k-Induction.
Alastair F. DonaldsonLeopold HallerDaniel KroeningPhilipp RümmerPublished in: SAS (2011)
Keyphrases
- inductive learning
- program synthesis
- concept formation
- machine learning
- inductive inference
- rule induction
- rough sets
- constructive induction
- concept learning
- data structure
- database
- knowledge acquisition
- database systems
- three dimensional
- feature selection
- learning algorithm
- subgroup discovery
- data mining
- real world
- data sets