Proof Composition for Deductive Verification of Software Product Lines.
Thomas ThümIna SchaeferMartin KuhlemannSven ApelPublished in: ICST Workshops (2011)
Keyphrases
- software product line
- software engineering
- product line
- proof planning
- goal driven
- future directions
- life cycle
- learning methodologies
- adult literacy
- model checking
- software development
- formal proof
- linear logic
- theorem proving
- object oriented
- teaching learning
- theorem prover
- databases
- lessons learned
- software systems
- case study
- artificial intelligence
- product lines
- learning algorithm