Formal verification of a deadlock detection algorithm

DOI10.4204/eptcs.70.8zbMATH Open1542.68099MaRDI QIDQ6586533FDOQ6586533

Authors: Freek Verbeek, Julien Schmaltz 

Publication date: 13 August 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Structured theory development for a mechanized logic

This page was built for publication: Formal verification of a deadlock detection algorithm

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