GitHub - moocf/die-hard-jugs.tla: A TLA+ program for the jugs problem in the Die Hard 3 movie (1995).

moocf / die-hard-jugs.tla Public

generated from moocf/increment.tla

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A TLA+ program for the jugs problem in the Die Hard 3 movie (1995).

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
DieHardJugs.toolbox		DieHardJugs.toolbox
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
main.tla		main.tla

Repository files navigation

A TLA+ program for the 3-gallon 5-gallon water jug problem in Die Hard 3.

This abstract program is from the Lamport TLA+ Course Lecture 4: Die Hard (HD).

References

About

A TLA+ program for the jugs problem in the Die Hard 3 movie (1995).

Custom properties

Report repository

Languages

TLA 100.0%