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+. PlusCal syntax can be translated to TLA+ for the purposes of debugging and model checking.[1]

References

  1. ↑ 1.0 1.1 Lamport, Leslie (2 January 2009). "The PlusCal Algorithm Language". Microsoft Research. Retrieved 17 September 2010.

External links