PlusCal

PlusCal (formerly known as +Cal) is an algorithmic language. It is designed to replace pseudocode. PlusCal can express both sequential and concurrent algorithms and features means to handle nondeterminism, atomicity and model checking.[1]

Syntax

PlusCal expressions are written using TLA+.[1] The balance of PlusCal syntax can be translated to TLA+[2] for the purposes of debugging and model checking.

References

  1. ^ a b Lamport, Leslie (2 January 2009). "The PlusCal Algorithm Language". Microsoft Research. http://research.microsoft.com/en-us/um/people/lamport/pubs/pluscal.pdf. Retrieved 17 September 2010. 
  2. ^ "TLA+ Tools". http://www.tlaplus.net/tools/. Retrieved 2010-09-17. 

External links