Checking a Multithreaded Algorithm with + CAL

DOI10.1007/11864219_11zbMath1155.68564OpenAlexW2134042909WikidataQ59318846 ScholiaQ59318846MaRDI QIDQ3524302

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)

Related Items (1)

A High-Level Language for Modeling Algorithms and Their Properties

Uses Software

• SPIN
• TLAPS

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