“On the fly” verification of behavioural equivalences and preorders

DOI10.1007/3-540-55179-4_18MaRDI QIDQ6493535

Laurent Mounier, Jean-Claude Fernandez

Publication date: 29 April 2024

Mathematics Subject Classification ID

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

This page was built for publication: “On the fly” verification of behavioural equivalences and preorders