Index of /backup/Documents/uni/Master/PSV/examples/

../
Book_1991/                                         12-Oct-2024 14:25                   -
Exercises/                                         12-Oct-2024 14:25                   -
LTL/                                               12-Oct-2024 14:25                   -
README_tests.txt                                   12-Oct-2024 14:25               10016
abp.pml                                            12-Oct-2024 14:25                 735
calculator.pml                                     12-Oct-2024 14:25                 686
cambridge.pml                                      12-Oct-2024 14:25                4153
dtp.pml                                            12-Oct-2024 14:25                5823
eratosthenes.pml                                   12-Oct-2024 14:25                 754
for_example.pml                                    12-Oct-2024 14:25                 307
for_select_example.pml                             12-Oct-2024 14:25                 876
hajek.pml                                          12-Oct-2024 14:25                1055
hello.pml                                          12-Oct-2024 14:25                  41
leader0.pml                                        12-Oct-2024 14:25                1524
leader_trace.pml                                   12-Oct-2024 14:25                1636
life.pml                                           12-Oct-2024 14:25                1646
loops.pml                                          12-Oct-2024 14:25                 135
loops.pml.trail                                    12-Oct-2024 14:28                  93
manna_pnueli.pml                                   12-Oct-2024 14:25                 398
pan                                                12-Oct-2024 14:27               93936
pan.b                                              12-Oct-2024 14:27                 542
pan.c                                              12-Oct-2024 14:27              329000
pan.h                                              12-Oct-2024 14:27               15952
pan.m                                              12-Oct-2024 14:27                2224
pan.p                                              12-Oct-2024 14:27               56174
pan.t                                              12-Oct-2024 14:27               18559
pathfinder.pml                                     12-Oct-2024 14:25                1318
peterson.pml                                       12-Oct-2024 14:25                 340
priorities.pml                                     12-Oct-2024 14:25                 292
rtos1.pml                                          12-Oct-2024 14:25                 654
sat.pml                                            12-Oct-2024 14:25                 187
snoopy.pml                                         12-Oct-2024 14:25                5021
sort.pml                                           12-Oct-2024 14:25                1539
test_mtype.pml                                     12-Oct-2024 14:25                1038
welfare.pml                                        12-Oct-2024 14:25                 942
werkplaats.pml                                     12-Oct-2024 14:25                2159
wordcount.pml                                      12-Oct-2024 14:25                 803