A high-level language for modeling algorithms and their properties

DOI10.1007/978-3-642-19829-8_4zbMATH Open1325.68040OpenAlexW1599102381MaRDI QIDQ2999308FDOQ2999308

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Myths about the mutual exclusion problem
• Time, clocks, and the ordering of events in a distributed system
• Guarded commands, nondeterminacy and formal derivation of programs
• Checking a Multithreaded Algorithm with  + CAL

Cited In (3)

• The PlusCal Algorithm Language
• A language for easy and efficient modeling of Turing machines
• Title not available (Why is that?)

Uses Software

• LOTOS
• SPIN
• TLAPS
• PlusCal
• TLC

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)