Refinement checking on parametric modal transition systems

DOI10.1007/s00236-015-0215-4zbMath1309.68130MaRDI QIDQ2340259

Nikola Beneš, Jiří Srba, Jan Křetínský, Kim Guldstrand Larsen, Salomon Sickert, Mikael H. Møller

Publication date: 16 April 2015

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://vbn.aau.dk/da/publications/28419191-f4e1-4b9d-b06a-f0ce2469c78a

Mathematics Subject Classification ID

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

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• ECDAR
• JML
• Motras