Family-Based Model Checking with mCRL2

DOI10.1007/978-3-662-54494-5_23zbMath1430.68155OpenAlexW2599286514MaRDI QIDQ5215913

E. P. de Vink, Maurice H. ter Beek, Tim A. C. Willemse

Publication date: 13 February 2020

Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-54494-5_23

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Family-Based SPL Model Checking Using Parity Games with Variability ⋮ Constrained Kripke structure for identifying parameters of biological models ⋮ Unnamed Item

This page was built for publication: Family-Based Model Checking with mCRL2