Index of /spin_v6.4.7/Examples

 Name                    Last modified       Size  Description

 Parent Directory        12-Jan-2018 13:41      -  
 wordcount.pml           28-Dec-2011 13:20     1k  
 werkplaats.pml          03-May-2014 19:16     2k  
 welfare.pml             03-May-2014 19:16     1k  
 sort.pml                28-Dec-2011 13:20     2k  
 snoopy.pml              28-Dec-2011 13:20     5k  
 sat.pml                 03-May-2014 19:16     1k  
 rtos1.pml               03-May-2014 15:05     1k  
 priorities.pml          28-Dec-2011 13:20     1k  
 peterson.pml            28-Dec-2011 13:20     1k  
 pathfinder.pml          28-Dec-2011 13:20     1k  
 manna_pnueli.pml        03-May-2014 19:16     1k  
 loops.pml               28-Dec-2011 13:20     1k  
 life.pml                03-May-2014 19:16     2k  
 leader_trace.pml        28-Dec-2011 13:20     2k  
 leader0.pml             28-Dec-2011 13:20     1k  
 hello.pml               28-Dec-2011 13:20     1k  
 hajek.pml               03-May-2014 14:08     1k  
 for_select_example.pml  02-May-2014 16:21     1k  
 for_example.pml         02-May-2014 16:18     1k  
 eratosthenes.pml        28-Dec-2011 13:20     1k  
 dtp.pml                 03-May-2014 14:09     6k  
 cambridge.pml           03-May-2014 14:08     4k  
 calculator.pml          16-May-2014 12:34     1k  
 abp.pml                 28-Dec-2011 13:20     1k  
 README_tests.txt        11-May-2014 14:36    10k  
 LTL/                    27-Aug-2016 16:23      -  
 Exercises/              08-Jun-2014 19:19      -  
 Book_1991/              03-May-2014 13:45      -