Model checking <u>lots</u> of systems

Patrick Heymans, Pierre‐Yves Schobbens, Axel Legay, +1

EngineeringFamily MembersVerificationComputer-aided VerificationSoftware Engineering +17

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking

Maxime Cordy, Pierre‐Yves Schobbens, Patrick Heymans, +2

IEEE Transactions on Software Engineering

EngineeringVerificationLinear Time LogicComputer-aided VerificationSoftware Engineering +19

Symbolic model checking of software product lines

Patrick Heymans, Pierre‐Yves Schobbens, Axel Legay

Software MaintenanceEngineeringVerificationSymbolic Model CheckingComputer-aided Verification +20

Model checking software product lines with SNIP

Maxime Cordy, Patrick Heymans, Axel Legay, +1

International Journal on Software Tools for Technology Transfer

Software MaintenanceEngineeringAutomated ReasoningSoftware TestingVerification +9

ProVeLines

Maxime Cordy, Patrick Heymans, Pierre‐Yves Schobbens, +1

Software MaintenanceEngineeringVerificationComputer-aided VerificationSoftware Engineering +18

Featured model-based mutation analysis

Xavier Devroey, Gilles Perrouin, Mike Papadakis, +3

Modal interfaces

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, +3

EngineeringSubstructural LogicAutomated ReasoningModal LogicAlgebraic Semantics +8

Formal semantics, modular specification, and symbolic verification of product-line behaviour

Maxime Cordy, Patrick Heymans, Axel Legay, +1

Science of Computer Programming

Behavioural modelling and verification of real-time software product lines

Maxime Cordy, Pierre‐Yves Schobbens, Patrick Heymans, +1

Software MaintenanceEngineeringVerificationSoftware EngineeringModel Checking +21

Modeling and Verification for Probabilistic Properties in Software Product Lines

Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, +5

Software MaintenanceEngineeringVerificationSoftware EngineeringSoftware Analysis +27