package info (click to toggle)
spin 6.5.2%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye
  • size: 2,512 kB
  • sloc: ansic: 39,876; yacc: 1,021; makefile: 58; sh: 8

Folder: Examples

d .. (parent)
d d rwxr-xr-x 4,096 Book_1991
d d rwxr-xr-x 4,096 Exercises
d d rwxr-xr-x 4,096 LTL
- - rwxr-xr-x 10,016 README_tests.txt
- - rwxr-xr-x 735 abp.pml
- - rwxr-xr-x 686 calculator.pml
- - rwxr-xr-x 4,153 cambridge.pml
- - rwxr-xr-x 5,823 dtp.pml
- - rwxr-xr-x 754 eratosthenes.pml
- - rwxr-xr-x 307 for_example.pml
- - rwxr-xr-x 876 for_select_example.pml
- - rwxr-xr-x 1,055 hajek.pml
- - rwxr-xr-x 41 hello.pml
- - rwxr-xr-x 1,524 leader0.pml
- - rwxr-xr-x 1,636 leader_trace.pml
- - rwxr-xr-x 1,646 life.pml
- - rwxr-xr-x 135 loops.pml
- - rwxr-xr-x 398 manna_pnueli.pml
- - rwxr-xr-x 1,318 pathfinder.pml
- - rwxr-xr-x 340 peterson.pml
- - rwxr-xr-x 292 priorities.pml
- - rwxr-xr-x 654 rtos1.pml
- - rwxr-xr-x 187 sat.pml
- - rwxr-xr-x 5,021 snoopy.pml
- - rwxr-xr-x 1,539 sort.pml
- - rwxr-xr-x 1,038 test_mtype.pml
- - rwxr-xr-x 942 welfare.pml
- - rwxr-xr-x 2,159 werkplaats.pml
- - rwxr-xr-x 803 wordcount.pml