Incremental Proof Development in Dafny with Module-Based Induction.
Son HoClément Pit-ClaudelPublished in: CoRR (2024)
Keyphrases
- data sets
- machine learning
- case study
- incremental learning
- databases
- information systems
- st century
- rapid development
- evolutionary algorithm
- image sequences
- subgroup discovery
- rule induction
- inductive learning
- development process
- information processing
- software engineering
- database
- knowledge base
- decision making
- search engine
- real time