In the course of my doctorate, I am working on formal verification.
I am learning TLA+ for this purpose.
In this repo I document my first steps.
Type | Name |
---|---|
PlusCal | ExponentiationOperator |
PlusCal | NAlternatingTurns |
PlusCal | QuickSort |
PlusCal | AlternatingBitProtocol |
PlusCal | AlternatingBitWithEnvironmentProtocol |
PlusCal | TowersOfHanoi |
TLA+ | FarmerCrossesRiver |
TLA+ | SieveOfEratosthenes |
TLA+ | TicTacToe |
TLA+ | TowersOfHanoi |