Model checking lots of systems: efficient verification of temporal properties in software product lines.
Andreas ClassenPatrick HeymansPierre-Yves SchobbensAxel LegayJean-François RaskinPublished in: ICSE (1) (2010)
Keyphrases
- model checking
- temporal properties
- automated verification
- temporal logic
- formal methods
- model checker
- formal verification
- verification method
- reactive systems
- artifact centric
- formal specification
- symbolic model checking
- asynchronous circuits
- computation tree logic
- bounded model checking
- epistemic logic
- software product line
- concurrent systems
- transition systems
- distributed systems
- life cycle
- linear temporal logic
- bayesian networks
- data mining