Theorem Proving for Product Line Model Verification.

Mike Mannion Javier Cámara

Published in: PFE (2003)

Keyphrases

theorem proving
product line
high level
information systems
probability distribution
real world
software engineering
graphical models
first order logic
formal model