A high-level language for modeling algorithms and their properties

DOI10.1007/978-3-642-19829-8_4MaRDI QIDQ2999308zbMATH OpenOpenAlexFDO

Authors Sabina Akhtar, Stephan Merz, Martin Quinson

Publication date 12 May 2011

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

Full work available at URL https://hal.inria.fr/inria-00537779/file/final.pdf

Mathematics Subject Classification ID

Theory of programming languages (68N15) Distributed algorithms (68W15)

Recommendations

• The PlusCal Algorithm Language
• Modelling and verification of Distributed Algorithms
• Formal Verification of Distributed Algorithms
• Checking a Multithreaded Algorithm with  + CAL
• Computer Aided Verification

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• Checking a Multithreaded Algorithm with  + CAL
• Guarded commands, nondeterminacy and formal derivation of programs
• Myths about the mutual exclusion problem
• Time, clocks, and the ordering of events in a distributed system

Cited in

(3)

• The PlusCal Algorithm Language
• A language for easy and efficient modeling of Turing machines
• scientific article; zbMATH DE number 4104365 (Why is no real title available?)

Describes a project that uses

Uses Software

• TLC
• PlusCal
• TLAPS
• SPIN
• LOTOS

This page was built for publication: A high-level language for modeling algorithms and their properties

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