scientific article
From MaRDI portal
Publication:3347266
zbMATH Open0558.68014MaRDI QIDQ3347266
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (3)
Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves ⋮ Parallelizing the \(\text{Mur}\varphi\) verifier ⋮ A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction
This page was built for publication:
