scientific article; zbMATH DE number 2080213

MaRDI QIDQ4472456zbMATH OpenFDO

Authors Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ari

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1974/19740325.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Validating mathematical theorems and algorithms with RISCAL
• Verified Approximation Algorithms
• Verified approximation algorithms
• An assertional proof of Rana's algorithm
• scientific article; zbMATH DE number 1852171
• scientific article; zbMATH DE number 4088841
• scientific article; zbMATH DE number 524110
• scientific article; zbMATH DE number 4092761

Cited in

(7)

• Mutual exclusion as a matter of priority
• Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
• Under the hood of the bakery algorithm: mutual exclusion as a matter of priority
• scientific article; zbMATH DE number 1487482 (Why is no real title available?)
• Monotonic Abstraction in Action
• A Mechanically Verified AIG-to-BDD Conversion Algorithm
• Formal correctness of a quadratic unification algorithm

Describes a project that uses

Uses Software

• STeP

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 Q4472456)