Graded-CTL NuSMV
Examples and Test Results
| List of Examples | |||||
|---|---|---|---|---|---|
| Num | Name | Descrption | Archive | Test Results | |
| 1 | SyncArb5 | A model of synchronous arbiter with 5 elements. | syncarb5.zip |
|
|
| 2 | Robot | A model of a robotics controller. | robot.zip |
|
|
| 3 | ABP8 | The alternating bit protocol with 8 bits long data. | abp8.zip |
|
|
| 4 | ABP10 | The alternating bit protocol with 10 bits long data. | abp10.zip |
|
|
| 5 | P-Queue | An example of priority queue. | pqueue.zip |
|
|
| 6 | Dekker | Dekker's algorithm for the mutual exclusion. | dekker.zip |
|
|
| 7 | Table | Example of two processes sharing a table without concurrency control. | table.zip |
|
|