Skip to content

Instantly share code, notes, and snippets.

@jscn

jscn/single-process-algorithm-tla

Created October 16, 2020 18:02
Show Gist options
  • Save jscn/06c8a87bbb80aa96057553903f635f0f to your computer and use it in GitHub Desktop.
Save jscn/06c8a87bbb80aa96057553903f635f0f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
single-process-algorithm-tla
---- MODULE name ----
EXTENDS \* whatever
Expected(inout) ==* ...
Helpers == \* ...
(*--algorithm name
variables
inut \in \* ...
output;
\* helper variables
begin
\* algorithm implementation
assert output = Expected(input);
end algorithm; *)
====
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment