Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique

DOI10.1007/978-3-662-49665-7_23zbMath1378.68114OpenAlexW2477444687MaRDI QIDQ2801764

Sander de Putter, Anton Wijs

Publication date: 21 April 2016

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-49665-7_23

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A formal verification technique for behavioural model-to-model transformations

Uses Software

• Coq
• REFINER

This page was built for publication: Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique