A case in point: verification and testing of a EULYNX interface

DOI10.1145/3528207MaRDI QIDQ6610254zbMATH OpenFDO

Authors Mark Bouwman, Bas Luttik, Mariëlle I. A. Stoelinga, Arend Rensink

Publication date 25 September 2024

Published in Formal Aspects of Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1145/3528207

zbMATH Keywords

formal analysismCRL2railway systemsSysMLtest automation

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A formal approach for the construction and verification of railway control systems
• A Semantic Framework for Test Coverage
• Algebra of communicating processes with abstraction
• CADP 2010: a toolbox for the construction and analysis of distributed processes
• CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
• Coverage-based testing with symbolic transition systems
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Linearization in parallel pCRL
• Modeling and analysis of communicating systems
• Off-the-shelf automated analysis of liveness properties for just paths
• Synergistic verification and validation of systems and software engineering models

This page was built for publication: A case in point: verification and testing of a EULYNX interface

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6610254)