Checking a Multithreaded Algorithm with + CAL

DOI10.1007/11864219_11MaRDI QIDQ3524302zbMATH OpenOpenAlexWikidataFDO

Authors Leslie Lamport

Publication date 9 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11864219_11

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1903353
• Verifying multithreaded recursive programs with integer variables
• A Basis for Verifying Multi-threaded Programs
• Designing checkers for programs that run in parallel
• Complexity of pattern-based verification for multithreaded programs
• scientific article; zbMATH DE number 824665
• scientific article; zbMATH DE number 1670568
• SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs

Cited in

(2)

• A high-level language for modeling algorithms and their properties
• The PlusCal Algorithm Language

Describes a project that uses

Uses Software

• TLAPS
• SPIN

This page was built for publication: Checking a Multithreaded Algorithm with  + CAL

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