| .. |
|
strong_timed_bisim_system_tests
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
ad94.sh
|
new test suites
|
2019-10-25 11:20:19 +02:00 |
|
ad94.txt
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
ad94_Long.sh
|
chg: new tests for 16 bits and 64 bits DBMs
|
2019-11-18 17:26:30 +01:00 |
|
ad94_Long.txt
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
ad94_mid.sh
|
chg: new tests for 16 bits and 64 bits DBMs
|
2019-11-18 17:26:30 +01:00 |
|
ad94_mid.txt
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
corsso.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
count_to_inf.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
count_to_inf.txt
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
critical-region-async.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
critical-region.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
csmacd.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
dining-philosophers.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
easy-ad94-added-transition.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
easy-ad94-different-guard.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
easy-ad94.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
eval_non_determ.sh
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
fddi.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
fire-alarm.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
fischer-async-concurrent.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
fischer-async.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
fischer.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
FORMAT.md
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
gps-mc.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
job-shop.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
leader-election-async.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
leader-election.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
Lieb_et_al_1.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
Lieb_et_al_1_diff_invariant.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
Lieb_et_al_1_non_determ_bisim.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
Lieb_et_al_2.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
Lieb_et_al_2_determ_split_bisim.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
Lieb_et_al_2_determ_split_non_bisim.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
Lieb_et_al_2_non_determ_bisim.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
Lieb_et_al_3.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
Lieb_et_al_4.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
Lieb_et_al_5.sh
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
Lieb_et_al_6.sh
|
Wip (#4)
|
2024-05-14 18:18:14 +02:00 |
|
missing_initial.sh
|
added first version of vcg
|
2024-05-14 18:18:14 +02:00 |
|
missing_initial.txt
|
added first version of vcg
|
2024-05-14 18:18:14 +02:00 |
|
parallel-b.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
parallel-c.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
parallel.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
|
strong_timed_bisim_system_tests_edge_case_changed_actions.sh
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
strong_timed_bisim_system_tests_edge_case_changed_actions_changed.sh
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
strong_timed_bisim_system_tests_edge_case_urgent.sh
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
strong_timed_bisim_system_tests_edge_case_urgent_non_urgent.sh
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
strong_timed_bisim_system_tests_edge_case_without_trans.sh
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
strong_timed_bisim_system_tests_edge_case_without_trans_changed_inv.sh
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
train_gate.sh
|
Moved TChecker file format description in a
|
2022-06-23 22:41:28 +02:00 |
