REFINER

MaRDI QIDQ36048swMATHFDO

Official website https://rd.springer.com/chapter/10.1007/978-3-319-06200-6_21

Cited in

(4)

• A formal verification technique for behavioural model-to-model transformations
• Loopy
• WebAssembly
• Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique

This page was built for software: REFINER