Login / Signup
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines.
Maximilian Kodetzki
Tabea Bordis
Tobias Runge
Ina Schaefer
Published in:
VaMoS (2024)
Keyphrases
</>
software product line
software engineering
goal driven
product line
formal proof
learning methodologies
databases
model checking
training data
relational databases
object oriented
feature set
product lines
theorem proving
feature vectors
artificial intelligence
data mining