Porting the Software Product Line Refinement Theory to the Coq Proof Assistant.

Thayonara Alves Leopoldo Teixeira Vander Alves Thiago M. Castro

Published in: SBMF (2020)

Keyphrases

software product line
theorem prover
product line
software engineering
formal methods
life cycle
future directions
theoretical framework
data sets
test bed
theoretical basis
databases
proof theory
software development
knowledge based systems
linear logic