├── .gitignore ├── Blinker.pdf ├── Blinker.tla ├── Chameneos.pdf ├── Chameneos.tla ├── CheckRequirements.pdf ├── CheckRequirements.tla ├── CigaretteSmokers.pdf ├── CigaretteSmokers.tla ├── GameOfLife.pdf ├── GameOfLife.tla ├── README.md ├── Requirements.pdf ├── Requirements.tla ├── Scheduler.cfg ├── Scheduler.dvi ├── Scheduler.tla ├── SlidingPuzzles.pdf ├── SlidingPuzzles.tla ├── Watchdog.cfg ├── Watchdog.dvi ├── Watchdog.tla ├── images ├── Blinker.png ├── Chameneos.png ├── CheckRequirements.png ├── CigaretteSmokers.png ├── GameOfLife.png ├── Requirements.png ├── Scheduler.png ├── SlidingPuzzles.png ├── Watchdog.png ├── blinker.png ├── chameneos_n2.png ├── chameneos_n2_m4.png ├── chameneos_n4.png ├── conflicting.png ├── fig1.png ├── gameoflife_3x3.png ├── gameoflife_4x4.png ├── gameoflife_4x4c.png ├── gameoflife_4x4cz1.png ├── gameoflife_4x4cz2.png ├── gameoflife_5x5_sym.png ├── klotski.png ├── mas.png ├── pennant.png ├── scheduler.png ├── scheduler_trace.png └── watchdog_n3_t3.png └── to_images.sh /.gitignore: -------------------------------------------------------------------------------- 1 | *.toolbox/ 2 | -------------------------------------------------------------------------------- /Blinker.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/Blinker.pdf -------------------------------------------------------------------------------- /Blinker.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/Blinker.tla -------------------------------------------------------------------------------- /Chameneos.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/Chameneos.pdf -------------------------------------------------------------------------------- /Chameneos.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/Chameneos.tla -------------------------------------------------------------------------------- /CheckRequirements.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/CheckRequirements.pdf -------------------------------------------------------------------------------- /CheckRequirements.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/CheckRequirements.tla -------------------------------------------------------------------------------- /CigaretteSmokers.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/CigaretteSmokers.pdf -------------------------------------------------------------------------------- /CigaretteSmokers.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/CigaretteSmokers.tla -------------------------------------------------------------------------------- /GameOfLife.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/GameOfLife.pdf -------------------------------------------------------------------------------- /GameOfLife.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/GameOfLife.tla -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/README.md -------------------------------------------------------------------------------- /Requirements.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/Requirements.pdf -------------------------------------------------------------------------------- /Requirements.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/Requirements.tla -------------------------------------------------------------------------------- /Scheduler.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/Scheduler.cfg -------------------------------------------------------------------------------- /Scheduler.dvi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/Scheduler.dvi -------------------------------------------------------------------------------- /Scheduler.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/Scheduler.tla -------------------------------------------------------------------------------- /SlidingPuzzles.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/SlidingPuzzles.pdf -------------------------------------------------------------------------------- /SlidingPuzzles.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/SlidingPuzzles.tla -------------------------------------------------------------------------------- /Watchdog.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/Watchdog.cfg -------------------------------------------------------------------------------- /Watchdog.dvi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/Watchdog.dvi -------------------------------------------------------------------------------- /Watchdog.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/Watchdog.tla -------------------------------------------------------------------------------- /images/Blinker.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/Blinker.png -------------------------------------------------------------------------------- /images/Chameneos.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/Chameneos.png -------------------------------------------------------------------------------- /images/CheckRequirements.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/CheckRequirements.png -------------------------------------------------------------------------------- /images/CigaretteSmokers.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/CigaretteSmokers.png -------------------------------------------------------------------------------- /images/GameOfLife.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/GameOfLife.png -------------------------------------------------------------------------------- /images/Requirements.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/Requirements.png -------------------------------------------------------------------------------- /images/Scheduler.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/Scheduler.png -------------------------------------------------------------------------------- /images/SlidingPuzzles.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/SlidingPuzzles.png -------------------------------------------------------------------------------- /images/Watchdog.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/Watchdog.png -------------------------------------------------------------------------------- /images/blinker.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/blinker.png -------------------------------------------------------------------------------- /images/chameneos_n2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/chameneos_n2.png -------------------------------------------------------------------------------- /images/chameneos_n2_m4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/chameneos_n2_m4.png -------------------------------------------------------------------------------- /images/chameneos_n4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/chameneos_n4.png -------------------------------------------------------------------------------- /images/conflicting.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/conflicting.png -------------------------------------------------------------------------------- /images/fig1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/fig1.png -------------------------------------------------------------------------------- /images/gameoflife_3x3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/gameoflife_3x3.png -------------------------------------------------------------------------------- /images/gameoflife_4x4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/gameoflife_4x4.png -------------------------------------------------------------------------------- /images/gameoflife_4x4c.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/gameoflife_4x4c.png -------------------------------------------------------------------------------- /images/gameoflife_4x4cz1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/gameoflife_4x4cz1.png -------------------------------------------------------------------------------- /images/gameoflife_4x4cz2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/gameoflife_4x4cz2.png -------------------------------------------------------------------------------- /images/gameoflife_5x5_sym.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/gameoflife_5x5_sym.png -------------------------------------------------------------------------------- /images/klotski.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/klotski.png -------------------------------------------------------------------------------- /images/mas.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/mas.png -------------------------------------------------------------------------------- /images/pennant.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/pennant.png -------------------------------------------------------------------------------- /images/scheduler.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/scheduler.png -------------------------------------------------------------------------------- /images/scheduler_trace.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/scheduler_trace.png -------------------------------------------------------------------------------- /images/watchdog_n3_t3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/images/watchdog_n3_t3.png -------------------------------------------------------------------------------- /to_images.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mryndzionek/tlaplus_specs/HEAD/to_images.sh --------------------------------------------------------------------------------