scientific article; zbMATH DE number 3890706

MaRDI QIDQ3347266zbMATH OpenFDO

Authors Boris D. Lubachevsky

Publication date 1984

zbMATH Keywords

compact parallel coordination programsverifier

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(8)

• Verifying the correctness of parallel logical control algorithms
• Designing checkers for programs that run in parallel
• Verifying parallel programs with dynamic communication structures
• A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction
• scientific article; zbMATH DE number 6533780 (Why is no real title available?)
• CompCertTSO
• Parallelizing the \(\text{Mur}\varphi\) verifier
• Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves

This page was built for publication:

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