On Refinements of Boolean and Parametric Modal Transition Systems

DOI10.1007/978-3-642-39718-9_13zbMath1405.68185arXiv1304.5278OpenAlexW2120347988MaRDI QIDQ2851908

Jan Křetínský, Salomon Sickert

Publication date: 4 October 2013

Published in: Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1304.5278

Mathematics Subject Classification ID

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

Related Items (3)

Modal transition system encoding of featured transition systems ⋮ Coherent modal transition systems refinement ⋮ Refinement checking on parametric modal transition systems

Uses Software

• JML
• MIO Workbench

This page was built for publication: On Refinements of Boolean and Parametric Modal Transition Systems