Archive.zip
The previewer is not showing all the files.
README.pdf
248.8 kB
__MACOSX
._README.pdf
376 Bytes
._data
163 Bytes
data
._.DS_Store
120 Bytes
._.gitignore
163 Bytes
._README.md
163 Bytes
._README.pdf
376 Bytes
._cert_table.csv
163 Bytes
._cert_table.html
219 Bytes
._cert_table.tex
163 Bytes
._consensus
163 Bytes
._consensus3.pdf
276 Bytes
._consensus4.pdf
276 Bytes
._consensus5.pdf
276 Bytes
._csn
163 Bytes
._csn_reachability
163 Bytes
._dual_certification
163 Bytes
._examples
163 Bytes
._firewire
163 Bytes
._firewire3.pdf
276 Bytes
._firewire6.pdf
276 Bytes
._firewire9.pdf
276 Bytes
._generate_dual_table.py
163 Bytes
._generate_figures.py
163 Bytes
._generate_storm_table.py
163 Bytes
._generate_tables.py
163 Bytes
._get_total_time.py
163 Bytes
._mp_table.csv
163 Bytes
._mp_table.html
163 Bytes
._mp_table.tex
219 Bytes
._phil
163 Bytes
._reach_table.csv
163 Bytes
._reach_table.html
163 Bytes
._reach_table.tex
319 Bytes
._requirements.txt
176 Bytes
._sensors
163 Bytes
._storm_table_mp.csv
163 Bytes
._storm_table_mp.html
219 Bytes
._storm_table_mp.txt
163 Bytes
._storm_table_reach.csv
163 Bytes
._storm_table_reach.html
219 Bytes
._storm_table_reach.txt
163 Bytes
._zeroconf
163 Bytes
consensus
._.DS_Store
120 Bytes
._README.md
319 Bytes
._coin3.nm
163 Bytes
._coin3.props
163 Bytes
._coin3_results_2024-04-13-01-51-28
163 Bytes
._coin4.nm
163 Bytes
._coin4.props
163 Bytes
._coin4_results_2024-04-13-02-17-11
163 Bytes
._coin5.nm
163 Bytes
._coin5.props
163 Bytes
._coin5_results_2024-04-13-02-43-38
163 Bytes
._run.sh
163 Bytes
._run_storm.sh
163 Bytes
._run_storm_ws.sh
163 Bytes
._storm_results.txt
163 Bytes
._storm_results_ws.txt
163 Bytes
._storm_script.py
163 Bytes
coin3_results_2024-04-13-01-51-28
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_0_scheduler.dot
163 Bytes
._query_0_witnessing_subsystem.lab
163 Bytes
._query_0_witnessing_subsystem.tra
163 Bytes
._query_1_certificate.json
163 Bytes
._query_1_scheduler.dot
163 Bytes
._query_1_witnessing_subsystem.lab
163 Bytes
._query_1_witnessing_subsystem.tra
163 Bytes
._query_2_certificate.json
163 Bytes
._query_2_scheduler.dot
163 Bytes
._query_2_witnessing_subsystem.lab
163 Bytes
._query_2_witnessing_subsystem.tra
163 Bytes
._query_3_certificate.json
163 Bytes
._query_3_scheduler.dot
163 Bytes
._query_3_witnessing_subsystem.lab
163 Bytes
._query_3_witnessing_subsystem.tra
163 Bytes
._query_4_certificate.json
163 Bytes
._query_4_scheduler.dot
163 Bytes
._query_4_witnessing_subsystem.lab
163 Bytes
._query_4_witnessing_subsystem.tra
163 Bytes
._query_5_certificate.json
163 Bytes
._query_5_witnessing_subsystem.lab
163 Bytes
._query_5_witnessing_subsystem.tra
163 Bytes
._query_6_certificate.json
163 Bytes
._query_6_witnessing_subsystem.lab
163 Bytes
._query_6_witnessing_subsystem.tra
163 Bytes
._query_7_certificate.json
163 Bytes
._query_7_witnessing_subsystem.lab
163 Bytes
._query_7_witnessing_subsystem.tra
163 Bytes
._query_8_certificate.json
163 Bytes
._query_8_witnessing_subsystem.lab
163 Bytes
._query_8_witnessing_subsystem.tra
163 Bytes
._query_9_certificate.json
163 Bytes
._query_9_witnessing_subsystem.lab
163 Bytes
._query_9_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
coin4_results_2024-04-13-02-17-11
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_0_scheduler.dot
163 Bytes
._query_0_witnessing_subsystem.lab
163 Bytes
._query_0_witnessing_subsystem.tra
163 Bytes
._query_1_certificate.json
163 Bytes
._query_1_scheduler.dot
163 Bytes
._query_1_witnessing_subsystem.lab
163 Bytes
._query_1_witnessing_subsystem.tra
163 Bytes
._query_2_certificate.json
163 Bytes
._query_2_scheduler.dot
163 Bytes
._query_2_witnessing_subsystem.lab
163 Bytes
._query_2_witnessing_subsystem.tra
163 Bytes
._query_3_certificate.json
163 Bytes
._query_3_scheduler.dot
163 Bytes
._query_3_witnessing_subsystem.lab
163 Bytes
._query_3_witnessing_subsystem.tra
163 Bytes
._query_4_certificate.json
163 Bytes
._query_4_scheduler.dot
163 Bytes
._query_4_witnessing_subsystem.lab
163 Bytes
._query_4_witnessing_subsystem.tra
163 Bytes
._query_5_certificate.json
163 Bytes
._query_5_witnessing_subsystem.lab
163 Bytes
._query_5_witnessing_subsystem.tra
163 Bytes
._query_6_certificate.json
163 Bytes
._query_6_witnessing_subsystem.lab
163 Bytes
._query_6_witnessing_subsystem.tra
163 Bytes
._query_7_certificate.json
163 Bytes
._query_7_witnessing_subsystem.lab
163 Bytes
._query_7_witnessing_subsystem.tra
163 Bytes
._query_8_certificate.json
163 Bytes
._query_8_witnessing_subsystem.lab
163 Bytes
._query_8_witnessing_subsystem.tra
163 Bytes
._query_9_certificate.json
163 Bytes
._query_9_witnessing_subsystem.lab
163 Bytes
._query_9_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
coin5_results_2024-04-13-02-43-38
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_0_scheduler.dot
163 Bytes
._query_0_witnessing_subsystem.lab
163 Bytes
._query_0_witnessing_subsystem.tra
163 Bytes
._query_1_certificate.json
163 Bytes
._query_1_scheduler.dot
163 Bytes
._query_1_witnessing_subsystem.lab
163 Bytes
._query_1_witnessing_subsystem.tra
163 Bytes
._query_2_certificate.json
163 Bytes
._query_2_scheduler.dot
163 Bytes
._query_2_witnessing_subsystem.lab
163 Bytes
._query_2_witnessing_subsystem.tra
163 Bytes
._query_3_certificate.json
163 Bytes
._query_3_scheduler.dot
163 Bytes
._query_3_witnessing_subsystem.lab
163 Bytes
._query_3_witnessing_subsystem.tra
163 Bytes
._query_4_certificate.json
163 Bytes
._query_4_scheduler.dot
163 Bytes
._query_4_witnessing_subsystem.lab
163 Bytes
._query_4_witnessing_subsystem.tra
163 Bytes
._query_5_certificate.json
163 Bytes
._query_5_witnessing_subsystem.lab
163 Bytes
._query_5_witnessing_subsystem.tra
163 Bytes
._query_6_certificate.json
163 Bytes
._query_6_witnessing_subsystem.lab
163 Bytes
._query_6_witnessing_subsystem.tra
163 Bytes
._query_7_certificate.json
163 Bytes
._query_7_witnessing_subsystem.lab
163 Bytes
._query_7_witnessing_subsystem.tra
163 Bytes
._query_8_certificate.json
163 Bytes
._query_8_witnessing_subsystem.lab
163 Bytes
._query_8_witnessing_subsystem.tra
163 Bytes
._query_9_certificate.json
163 Bytes
._query_9_witnessing_subsystem.lab
163 Bytes
._query_9_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
csn
._README.md
163 Bytes
._csn3_results_2024-04-13-05-56-11
163 Bytes
._csn4_results_2024-04-13-05-56-13
163 Bytes
._csn5_results_2024-04-13-06-01-30
163 Bytes
._csnfail3.nm
163 Bytes
._csnfail3.props
163 Bytes
._csnfail4.nm
163 Bytes
._csnfail4.props
163 Bytes
._csnfail5.nm
163 Bytes
._csnfail5.props
163 Bytes
._run.sh
163 Bytes
._run_storm.sh
163 Bytes
._storm_results.txt
163 Bytes
._storm_script.py
163 Bytes
csn3_results_2024-04-13-05-56-11
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_0_witnessing_subsystem.lab
163 Bytes
._query_0_witnessing_subsystem.tra
163 Bytes
._query_3_certificate.json
163 Bytes
._query_3_witnessing_subsystem.lab
163 Bytes
._query_3_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
csn4_results_2024-04-13-05-56-13
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_0_witnessing_subsystem.lab
163 Bytes
._query_0_witnessing_subsystem.tra
163 Bytes
._query_3_certificate.json
163 Bytes
._query_3_witnessing_subsystem.lab
163 Bytes
._query_3_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
csn5_results_2024-04-13-06-01-30
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_0_witnessing_subsystem.lab
163 Bytes
._query_0_witnessing_subsystem.tra
163 Bytes
._query_3_certificate.json
163 Bytes
._query_3_witnessing_subsystem.lab
163 Bytes
._query_3_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
csn_reachability
._README.md
163 Bytes
._csn3_results_2024-04-13-04-43-13
163 Bytes
._csn4_results_2024-04-13-04-43-20
163 Bytes
._csn5_results_2024-04-13-04-44-38
163 Bytes
._csnfail3.prism
163 Bytes
._csnfail4.prism
163 Bytes
._csnfail5.prism
163 Bytes
._generate_prop.py
163 Bytes
._reach3.props
163 Bytes
._reach4.props
163 Bytes
._reach5.props
163 Bytes
._run.sh
163 Bytes
._run_storm.sh
163 Bytes
._run_storm_ws.sh
163 Bytes
._storm_results.txt
163 Bytes
._storm_results_ws.txt
163 Bytes
._storm_script.py
163 Bytes
dual_certification
.__update_scripts.py
163 Bytes
._cert-table.txt
163 Bytes
._consensus
163 Bytes
._csn_reachability
163 Bytes
._firewire
163 Bytes
._run_cert.sh
163 Bytes
._summary.ipynb
163 Bytes
consensus
._README.md
163 Bytes
._cert_coin3.props
163 Bytes
._cert_coin4.props
163 Bytes
._cert_coin5.props
163 Bytes
._coin3.nm
163 Bytes
._coin3.props
163 Bytes
._coin3_results_2024-04-13-11-01-57
163 Bytes
._coin4.nm
163 Bytes
._coin4.props
163 Bytes
._coin4_results_2024-04-13-11-02-00
163 Bytes
._coin5.nm
163 Bytes
._coin5.props
163 Bytes
._coin5_results_2024-04-13-11-02-05
163 Bytes
._run.sh
163 Bytes
._run_storm.sh
163 Bytes
._run_storm_ws.sh
163 Bytes
._storm_results.txt
163 Bytes
._storm_results_ws.txt
163 Bytes
._storm_script.py
163 Bytes
firewire
._cert_firewire3.props
163 Bytes
._cert_firewire6.props
163 Bytes
._firewire9.props
163 Bytes
._run_storm_ws.sh
163 Bytes
._storm_results.txt
163 Bytes
._storm_results_ws.txt
163 Bytes
examples
._example1.props
163 Bytes
._example_mdp.nm
163 Bytes
._induced_dtmc.nm
163 Bytes
._mec.nm
163 Bytes
._mec.props
163 Bytes
._mec_results
163 Bytes
firewire
._.DS_Store
120 Bytes
._README.md
163 Bytes
._firewire3.nm
163 Bytes
._firewire3.props
163 Bytes
._firewire3_results_2024-04-13-03-10-38
163 Bytes
._firewire6.nm
163 Bytes
._firewire6.props
163 Bytes
._firewire6_results_2024-04-13-03-36-32
163 Bytes
._firewire9.nm
163 Bytes
._firewire9.props
163 Bytes
._firewire9_results_2024-04-13-04-05-07
163 Bytes
._run.sh
163 Bytes
._run_storm.sh
163 Bytes
._run_storm_ws.sh
163 Bytes
._storm_results.txt
163 Bytes
._storm_results_ws.txt
163 Bytes
._storm_script.py
163 Bytes
firewire3_results_2024-04-13-03-10-38
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_0_witnessing_subsystem.lab
163 Bytes
._query_0_witnessing_subsystem.tra
163 Bytes
._query_1_certificate.json
163 Bytes
._query_1_witnessing_subsystem.lab
163 Bytes
._query_1_witnessing_subsystem.tra
163 Bytes
._query_2_certificate.json
163 Bytes
._query_2_witnessing_subsystem.lab
163 Bytes
._query_2_witnessing_subsystem.tra
163 Bytes
._query_3_certificate.json
163 Bytes
._query_3_witnessing_subsystem.lab
163 Bytes
._query_3_witnessing_subsystem.tra
163 Bytes
._query_4_certificate.json
163 Bytes
._query_4_witnessing_subsystem.lab
163 Bytes
._query_4_witnessing_subsystem.tra
163 Bytes
._query_5_certificate.json
163 Bytes
._query_5_scheduler.dot
163 Bytes
._query_5_witnessing_subsystem.lab
163 Bytes
._query_5_witnessing_subsystem.tra
163 Bytes
._query_6_certificate.json
163 Bytes
._query_6_scheduler.dot
163 Bytes
._query_6_witnessing_subsystem.lab
163 Bytes
._query_6_witnessing_subsystem.tra
163 Bytes
._query_7_certificate.json
163 Bytes
._query_7_scheduler.dot
163 Bytes
._query_7_witnessing_subsystem.lab
163 Bytes
._query_7_witnessing_subsystem.tra
163 Bytes
._query_8_certificate.json
163 Bytes
._query_8_scheduler.dot
163 Bytes
._query_8_witnessing_subsystem.lab
163 Bytes
._query_8_witnessing_subsystem.tra
163 Bytes
._query_9_certificate.json
163 Bytes
._query_9_scheduler.dot
163 Bytes
._query_9_witnessing_subsystem.lab
163 Bytes
._query_9_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
firewire6_results_2024-04-13-03-36-32
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_0_witnessing_subsystem.lab
163 Bytes
._query_0_witnessing_subsystem.tra
163 Bytes
._query_1_certificate.json
163 Bytes
._query_1_witnessing_subsystem.lab
163 Bytes
._query_1_witnessing_subsystem.tra
163 Bytes
._query_2_certificate.json
163 Bytes
._query_2_witnessing_subsystem.lab
163 Bytes
._query_2_witnessing_subsystem.tra
163 Bytes
._query_3_certificate.json
163 Bytes
._query_3_witnessing_subsystem.lab
163 Bytes
._query_3_witnessing_subsystem.tra
163 Bytes
._query_4_certificate.json
163 Bytes
._query_4_witnessing_subsystem.lab
163 Bytes
._query_4_witnessing_subsystem.tra
163 Bytes
._query_5_certificate.json
163 Bytes
._query_5_scheduler.dot
163 Bytes
._query_5_witnessing_subsystem.lab
163 Bytes
._query_5_witnessing_subsystem.tra
163 Bytes
._query_6_certificate.json
163 Bytes
._query_6_scheduler.dot
163 Bytes
._query_6_witnessing_subsystem.lab
163 Bytes
._query_6_witnessing_subsystem.tra
163 Bytes
._query_7_certificate.json
163 Bytes
._query_7_scheduler.dot
163 Bytes
._query_7_witnessing_subsystem.lab
163 Bytes
._query_7_witnessing_subsystem.tra
163 Bytes
._query_8_certificate.json
163 Bytes
._query_8_scheduler.dot
163 Bytes
._query_8_witnessing_subsystem.lab
163 Bytes
._query_8_witnessing_subsystem.tra
163 Bytes
._query_9_certificate.json
163 Bytes
._query_9_scheduler.dot
163 Bytes
._query_9_witnessing_subsystem.lab
163 Bytes
._query_9_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
firewire9_results_2024-04-13-04-05-07
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_0_witnessing_subsystem.lab
163 Bytes
._query_0_witnessing_subsystem.tra
163 Bytes
._query_1_certificate.json
163 Bytes
._query_1_witnessing_subsystem.lab
163 Bytes
._query_1_witnessing_subsystem.tra
163 Bytes
._query_2_certificate.json
163 Bytes
._query_2_witnessing_subsystem.lab
163 Bytes
._query_2_witnessing_subsystem.tra
163 Bytes
._query_3_certificate.json
163 Bytes
._query_3_witnessing_subsystem.lab
163 Bytes
._query_3_witnessing_subsystem.tra
163 Bytes
._query_4_certificate.json
163 Bytes
._query_4_witnessing_subsystem.lab
163 Bytes
._query_4_witnessing_subsystem.tra
163 Bytes
._query_5_certificate.json
163 Bytes
._query_5_scheduler.dot
163 Bytes
._query_5_witnessing_subsystem.lab
163 Bytes
._query_5_witnessing_subsystem.tra
163 Bytes
._query_6_certificate.json
163 Bytes
._query_6_scheduler.dot
163 Bytes
._query_6_witnessing_subsystem.lab
163 Bytes
._query_6_witnessing_subsystem.tra
163 Bytes
._query_7_certificate.json
163 Bytes
._query_7_scheduler.dot
163 Bytes
._query_7_witnessing_subsystem.lab
163 Bytes
._query_7_witnessing_subsystem.tra
163 Bytes
._query_8_certificate.json
163 Bytes
._query_8_scheduler.dot
163 Bytes
._query_8_witnessing_subsystem.lab
163 Bytes
._query_8_witnessing_subsystem.tra
163 Bytes
._query_9_certificate.json
163 Bytes
._query_9_scheduler.dot
163 Bytes
._query_9_witnessing_subsystem.lab
163 Bytes
._query_9_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
phil
._README.md
163 Bytes
._phil-nofair3.nm
163 Bytes
._phil-nofair3.props
163 Bytes
._phil-nofair4.nm
163 Bytes
._phil-nofair4.props
163 Bytes
._phil3_results_2024-04-13-04-55-15
163 Bytes
._phil4_results_2024-04-13-05-07-03
163 Bytes
._run.sh
163 Bytes
._run_storm.sh
163 Bytes
._storm_results.txt
163 Bytes
._storm_script.py
163 Bytes
phil3_results_2024-04-13-04-55-15
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_0_witnessing_subsystem.lab
163 Bytes
._query_0_witnessing_subsystem.tra
163 Bytes
._query_1_certificate.json
163 Bytes
._query_1_witnessing_subsystem.lab
163 Bytes
._query_1_witnessing_subsystem.tra
163 Bytes
._query_2_certificate.json
163 Bytes
._query_2_witnessing_subsystem.lab
163 Bytes
._query_2_witnessing_subsystem.tra
163 Bytes
._query_3_certificate.json
163 Bytes
._query_3_witnessing_subsystem.lab
163 Bytes
._query_3_witnessing_subsystem.tra
163 Bytes
._query_4_certificate.json
163 Bytes
._query_4_witnessing_subsystem.lab
163 Bytes
._query_4_witnessing_subsystem.tra
163 Bytes
._query_5_certificate.json
163 Bytes
._query_5_witnessing_subsystem.lab
163 Bytes
._query_5_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
phil4_results_2024-04-13-05-07-03
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_1_certificate.json
163 Bytes
._query_2_certificate.json
163 Bytes
._query_2_witnessing_subsystem.lab
163 Bytes
._query_2_witnessing_subsystem.tra
163 Bytes
._query_3_certificate.json
163 Bytes
._query_3_witnessing_subsystem.lab
163 Bytes
._query_3_witnessing_subsystem.tra
163 Bytes
._query_4_certificate.json
163 Bytes
._query_4_witnessing_subsystem.lab
163 Bytes
._query_4_witnessing_subsystem.tra
163 Bytes
._query_5_certificate.json
163 Bytes
._query_5_witnessing_subsystem.lab
163 Bytes
._query_5_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
sensors
._README.md
163 Bytes
._run.sh
163 Bytes
._run_storm.sh
163 Bytes
._sensors1.nm
163 Bytes
._sensors1.props
163 Bytes
._sensors1_results_2024-04-13-05-40-20
163 Bytes
._sensors2.nm
163 Bytes
._sensors2.props
163 Bytes
._sensors2_results_2024-04-13-05-45-24
163 Bytes
._storm_results.txt
163 Bytes
._storm_script.py
163 Bytes
sensors1_results_2024-04-13-05-40-20
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_0_witnessing_subsystem.lab
163 Bytes
._query_0_witnessing_subsystem.tra
163 Bytes
._query_1_certificate.json
163 Bytes
._query_1_witnessing_subsystem.lab
163 Bytes
._query_1_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
sensors2_results_2024-04-13-05-45-24
._gurobi_log.txt
163 Bytes
._log.txt
163 Bytes
._query_0_certificate.json
163 Bytes
._query_0_witnessing_subsystem.lab
163 Bytes
._query_0_witnessing_subsystem.tra
163 Bytes
._query_1_certificate.json
163 Bytes
._query_1_witnessing_subsystem.lab
163 Bytes
._query_1_witnessing_subsystem.tra
163 Bytes
._summary.csv
163 Bytes
zeroconf
._.DS_Store
120 Bytes
._README.md
163 Bytes
._generate_props.py
163 Bytes
._original2.props
163 Bytes
._original4.props
163 Bytes
._original6.props
163 Bytes
._original8.props
163 Bytes
._run.sh
163 Bytes
._run_storm.sh
163 Bytes
._storm_results.txt
163 Bytes
._storm_script.py
163 Bytes
._zeroconf2_results_2024-04-14-22-12-13
163 Bytes
._zeroconf4_results_2024-04-14-22-12-38
163 Bytes
._zeroconf6_results_2024-04-14-22-13-51
163 Bytes
._zeroconf_host_multi2.nm
163 Bytes
._zeroconf_host_multi2.props
163 Bytes
._zeroconf_host_multi4.nm
163 Bytes
._zeroconf_host_multi4.props
163 Bytes
._zeroconf_host_multi6.nm
163 Bytes
._zeroconf_host_multi6.props
163 Bytes
._zeroconf_host_multi8.nm
163 Bytes
._zeroconf_host_multi8.props
163 Bytes
data
.DS_Store
10.2 kB
.gitignore
30 Bytes
README.md
2.3 kB
README.pdf
95.9 kB
cert_table.csv
2.6 kB
cert_table.html
5.6 kB
cert_table.tex
2.3 kB
consensus
.DS_Store
8.2 kB
README.md
655 Bytes
coin3.nm
1.7 kB
coin3.props
901 Bytes
coin3_results_2024-04-13-01-51-28
gurobi_log.txt
77.2 kB
log.txt
79.7 kB
query_0_certificate.json
7.7 kB
query_0_scheduler.dot
29.8 kB
query_0_witnessing_subsystem.lab
1.1 kB
query_0_witnessing_subsystem.tra
1.1 kB
query_1_certificate.json
7.6 kB
query_1_scheduler.dot
29.3 kB
query_1_witnessing_subsystem.lab
1.2 kB
query_1_witnessing_subsystem.tra
1.1 kB
query_2_certificate.json
7.6 kB
query_2_scheduler.dot
29.3 kB
query_2_witnessing_subsystem.lab
1.2 kB
query_2_witnessing_subsystem.tra
1.2 kB
query_3_certificate.json
7.6 kB
query_3_scheduler.dot
29.0 kB
query_3_witnessing_subsystem.lab
1.2 kB
query_3_witnessing_subsystem.tra
1.2 kB
query_4_certificate.json
7.7 kB
query_4_scheduler.dot
29.8 kB
query_4_witnessing_subsystem.lab
1.3 kB
query_4_witnessing_subsystem.tra
1.3 kB
query_5_certificate.json
5.9 kB
query_5_witnessing_subsystem.lab
2.3 kB
query_5_witnessing_subsystem.tra
2.9 kB
query_6_certificate.json
5.9 kB
query_6_witnessing_subsystem.lab
2.3 kB
query_6_witnessing_subsystem.tra
3.7 kB
query_7_certificate.json
5.8 kB
query_7_witnessing_subsystem.lab
3.0 kB
query_7_witnessing_subsystem.tra
4.1 kB
query_8_certificate.json
5.7 kB
query_8_witnessing_subsystem.lab
2.7 kB
query_8_witnessing_subsystem.tra
4.6 kB
query_9_certificate.json
6.0 kB
query_9_witnessing_subsystem.lab
3.6 kB
query_9_witnessing_subsystem.tra
4.9 kB
summary.csv
5.3 kB
coin4.nm
1.7 kB
coin4.props
901 Bytes
coin4_results_2024-04-13-02-17-11
gurobi_log.txt
73.4 kB
log.txt
75.9 kB
query_0_certificate.json
10.3 kB
query_0_scheduler.dot
40.5 kB
query_0_witnessing_subsystem.lab
1.5 kB
query_0_witnessing_subsystem.tra
1.6 kB
query_1_certificate.json
10.3 kB
query_1_scheduler.dot
40.5 kB
query_1_witnessing_subsystem.lab
1.5 kB
query_1_witnessing_subsystem.tra
1.6 kB
query_2_certificate.json
10.3 kB
query_2_scheduler.dot
40.3 kB
query_2_witnessing_subsystem.lab
1.6 kB
query_2_witnessing_subsystem.tra
1.6 kB
query_3_certificate.json
10.4 kB
query_3_scheduler.dot
41.0 kB
query_3_witnessing_subsystem.lab
1.5 kB
query_3_witnessing_subsystem.tra
1.6 kB
query_4_certificate.json
10.4 kB
query_4_scheduler.dot
41.0 kB
query_4_witnessing_subsystem.lab
1.6 kB
query_4_witnessing_subsystem.tra
1.7 kB
query_5_certificate.json
7.5 kB
query_5_witnessing_subsystem.lab
2.6 kB
query_5_witnessing_subsystem.tra
4.5 kB
query_6_certificate.json
7.0 kB
query_6_witnessing_subsystem.lab
3.5 kB
query_6_witnessing_subsystem.tra
5.0 kB
query_7_certificate.json
7.4 kB
query_7_witnessing_subsystem.lab
3.8 kB
query_7_witnessing_subsystem.tra
5.7 kB
query_8_certificate.json
7.4 kB
query_8_witnessing_subsystem.lab
4.2 kB
query_8_witnessing_subsystem.tra
6.0 kB
query_9_certificate.json
7.0 kB
query_9_witnessing_subsystem.lab
4.6 kB
query_9_witnessing_subsystem.tra
6.7 kB
summary.csv
5.3 kB
coin5.nm
1.7 kB
coin5.props
901 Bytes
coin5_results_2024-04-13-02-43-38
gurobi_log.txt
68.5 kB
log.txt
71.0 kB
query_0_certificate.json
13.0 kB
query_0_scheduler.dot
51.0 kB
query_0_witnessing_subsystem.lab
1.8 kB
query_0_witnessing_subsystem.tra
2.0 kB
query_1_certificate.json
12.9 kB
query_1_scheduler.dot
50.8 kB
query_1_witnessing_subsystem.lab
1.8 kB
query_1_witnessing_subsystem.tra
2.1 kB
query_2_certificate.json
12.9 kB
query_2_scheduler.dot
51.4 kB
query_2_witnessing_subsystem.lab
1.9 kB
query_2_witnessing_subsystem.tra
2.1 kB
query_3_certificate.json
12.9 kB
query_3_scheduler.dot
50.8 kB
query_3_witnessing_subsystem.lab
1.9 kB
query_3_witnessing_subsystem.tra
2.1 kB
query_4_certificate.json
12.9 kB
query_4_scheduler.dot
51.0 kB
query_4_witnessing_subsystem.lab
1.9 kB
query_4_witnessing_subsystem.tra
2.2 kB
query_5_certificate.json
9.1 kB
query_5_witnessing_subsystem.lab
3.2 kB
query_5_witnessing_subsystem.tra
5.6 kB
query_6_certificate.json
9.1 kB
query_6_witnessing_subsystem.lab
3.5 kB
query_6_witnessing_subsystem.tra
6.3 kB
query_7_certificate.json
9.0 kB
query_7_witnessing_subsystem.lab
3.9 kB
query_7_witnessing_subsystem.tra
7.0 kB
query_8_certificate.json
9.0 kB
query_8_witnessing_subsystem.lab
5.0 kB
query_8_witnessing_subsystem.tra
7.7 kB
query_9_certificate.json
9.3 kB
query_9_witnessing_subsystem.lab
5.4 kB
query_9_witnessing_subsystem.tra
8.7 kB
summary.csv
5.3 kB
run.sh
389 Bytes
run_storm.sh
4.3 kB
run_storm_ws.sh
12.4 kB
storm_results.txt
28.6 kB
storm_results_ws.txt
4.9 kB
storm_script.py
1.3 kB
consensus3.pdf
125.2 kB
consensus4.pdf
125.3 kB
consensus5.pdf
125.2 kB
csn
README.md
731 Bytes
csn3_results_2024-04-13-05-56-11
gurobi_log.txt
16.8 kB
log.txt
17.4 kB
query_0_certificate.json
1.2 kB
query_0_witnessing_subsystem.lab
52 Bytes
query_0_witnessing_subsystem.tra
421 Bytes
query_3_certificate.json
8.5 kB
query_3_witnessing_subsystem.lab
53 Bytes
query_3_witnessing_subsystem.tra
6.7 kB
summary.csv
1.7 kB
csn4_results_2024-04-13-05-56-13
gurobi_log.txt
34.5 kB
log.txt
35.2 kB
query_0_certificate.json
2.9 kB
query_0_witnessing_subsystem.lab
52 Bytes
query_0_witnessing_subsystem.tra
738 Bytes
query_3_certificate.json
45.1 kB
query_3_witnessing_subsystem.lab
53 Bytes
query_3_witnessing_subsystem.tra
45.6 kB
summary.csv
1.9 kB
csn5_results_2024-04-13-06-01-30
gurobi_log.txt
54.8 kB
log.txt
55.5 kB
query_0_certificate.json
2.1 kB
query_0_witnessing_subsystem.lab
52 Bytes
query_0_witnessing_subsystem.tra
2.1 kB
query_3_certificate.json
245.1 kB
query_3_witnessing_subsystem.lab
54 Bytes
query_3_witnessing_subsystem.tra
298.2 kB
summary.csv
2.1 kB
csnfail3.nm
2.5 kB
csnfail3.props
346 Bytes
csnfail4.nm
3.2 kB
csnfail4.props
458 Bytes
csnfail5.nm
4.7 kB
csnfail5.props
574 Bytes
run.sh
368 Bytes
run_storm.sh
2.1 kB
storm_results.txt
11.8 kB
storm_script.py
434 Bytes
csn_reachability
README.md
415 Bytes
csn3_results_2024-04-13-04-43-13
csn4_results_2024-04-13-04-43-20
csn5_results_2024-04-13-04-44-38
csnfail3.prism
2.9 kB
csnfail4.prism
3.7 kB
csnfail5.prism
5.4 kB
generate_prop.py
552 Bytes
reach3.props
236 Bytes
reach4.props
310 Bytes
reach5.props
384 Bytes
run.sh
407 Bytes
run_storm.sh
1.3 kB
run_storm_ws.sh
3.3 kB
storm_results.txt
8.9 kB
storm_results_ws.txt
1.3 kB
storm_script.py
1.3 kB
dual_certification
_update_scripts.py
1.3 kB
cert-table.txt
2.3 kB
consensus
README.md
655 Bytes
cert_coin3.props
1.8 kB
cert_coin4.props
1.8 kB
cert_coin5.props
1.8 kB
coin3.nm
1.7 kB
coin3.props
901 Bytes
coin3_results_2024-04-13-11-01-57
coin4.nm
1.7 kB
coin4.props
901 Bytes
coin4_results_2024-04-13-11-02-00
coin5.nm
1.7 kB
coin5.props
901 Bytes
coin5_results_2024-04-13-11-02-05
run.sh
353 Bytes
run_storm.sh
4.3 kB
run_storm_ws.sh
12.4 kB
storm_results.txt
28.6 kB
storm_results_ws.txt
4.9 kB
storm_script.py
1.3 kB
csn_reachability
firewire
cert_firewire3.props
961 Bytes
cert_firewire6.props
961 Bytes
firewire9.props
481 Bytes
run.sh
389 Bytes
run_storm_ws.sh
10.5 kB
storm_results.txt
26.1 kB
storm_results_ws.txt
3.6 kB
run_cert.sh
161 Bytes
summary.ipynb
34.5 kB
examples
example1.props
344 Bytes
example_mdp.nm
274 Bytes
induced_dtmc.nm
146 Bytes
mec.nm
190 Bytes
mec.props
49 Bytes
mec_results
firewire
.DS_Store
6.1 kB
README.md
655 Bytes
firewire3.nm
5.6 kB
firewire3.props
480 Bytes
firewire3_results_2024-04-13-03-10-38
gurobi_log.txt
58.7 kB
log.txt
61.2 kB
query_0_certificate.json
3.0 kB
query_0_witnessing_subsystem.lab
109 Bytes
query_0_witnessing_subsystem.tra
4.1 kB
query_1_certificate.json
3.0 kB
query_1_witnessing_subsystem.lab
109 Bytes
query_1_witnessing_subsystem.tra
4.1 kB
query_2_certificate.json
41.0 kB
query_2_witnessing_subsystem.lab
126 Bytes
query_2_witnessing_subsystem.tra
28.3 kB
query_3_certificate.json
42.7 kB
query_3_witnessing_subsystem.lab
126 Bytes
query_3_witnessing_subsystem.tra
63.0 kB
query_4_certificate.json
44.2 kB
query_4_witnessing_subsystem.lab
126 Bytes
query_4_witnessing_subsystem.tra
85.0 kB
query_5_certificate.json
6.8 kB
query_5_scheduler.dot
55.6 kB
query_5_witnessing_subsystem.lab
93 Bytes
query_5_witnessing_subsystem.tra
1.3 kB
query_6_certificate.json
6.8 kB
query_6_scheduler.dot
55.6 kB
query_6_witnessing_subsystem.lab
96 Bytes
query_6_witnessing_subsystem.tra
3.7 kB
query_7_certificate.json
6.9 kB
query_7_scheduler.dot
55.8 kB
query_7_witnessing_subsystem.lab
96 Bytes
query_7_witnessing_subsystem.tra
6.3 kB
query_8_certificate.json
6.8 kB
query_8_scheduler.dot
55.7 kB
query_8_witnessing_subsystem.lab
96 Bytes
query_8_witnessing_subsystem.tra
8.5 kB
query_9_certificate.json
6.8 kB
query_9_scheduler.dot
55.8 kB
query_9_witnessing_subsystem.lab
96 Bytes
query_9_witnessing_subsystem.tra
8.5 kB
summary.csv
4.6 kB
firewire6.nm
5.4 kB
firewire6.props
480 Bytes
firewire6_results_2024-04-13-03-36-32
gurobi_log.txt
57.3 kB
log.txt
59.8 kB
query_0_certificate.json
3.5 kB
query_0_witnessing_subsystem.lab
137 Bytes
query_0_witnessing_subsystem.tra
5.3 kB
query_1_certificate.json
3.5 kB
query_1_witnessing_subsystem.lab
137 Bytes
query_1_witnessing_subsystem.tra
5.3 kB
query_2_certificate.json
75.0 kB
query_2_witnessing_subsystem.lab
156 Bytes
query_2_witnessing_subsystem.tra
60.6 kB
query_3_certificate.json
90.4 kB
query_3_witnessing_subsystem.lab
157 Bytes
query_3_witnessing_subsystem.tra
149.7 kB
query_4_certificate.json
94.0 kB
query_4_witnessing_subsystem.lab
157 Bytes
query_4_witnessing_subsystem.tra
204.2 kB
query_5_certificate.json
6.8 kB
query_5_scheduler.dot
55.8 kB
query_5_witnessing_subsystem.lab
93 Bytes
query_5_witnessing_subsystem.tra
1.4 kB
query_6_certificate.json
6.8 kB
query_6_scheduler.dot
55.8 kB
query_6_witnessing_subsystem.lab
96 Bytes
query_6_witnessing_subsystem.tra
3.7 kB
query_7_certificate.json
6.8 kB
query_7_scheduler.dot
55.8 kB
query_7_witnessing_subsystem.lab
96 Bytes
query_7_witnessing_subsystem.tra
6.3 kB
query_8_certificate.json
6.9 kB
query_8_scheduler.dot
56.0 kB
query_8_witnessing_subsystem.lab
96 Bytes
query_8_witnessing_subsystem.tra
8.4 kB
query_9_certificate.json
6.8 kB
query_9_scheduler.dot
55.8 kB
query_9_witnessing_subsystem.lab
96 Bytes
query_9_witnessing_subsystem.tra
8.7 kB
summary.csv
4.6 kB
firewire9.nm
5.4 kB
firewire9.props
481 Bytes
firewire9_results_2024-04-13-04-05-07
gurobi_log.txt
83.5 kB
log.txt
86.0 kB
query_0_certificate.json
4.0 kB
query_0_witnessing_subsystem.lab
71 Bytes
query_0_witnessing_subsystem.tra
6.5 kB
query_1_certificate.json
4.0 kB
query_1_witnessing_subsystem.lab
71 Bytes
query_1_witnessing_subsystem.tra
6.5 kB
query_2_certificate.json
118.1 kB
query_2_witnessing_subsystem.lab
189 Bytes
query_2_witnessing_subsystem.tra
110.6 kB
query_3_certificate.json
159.6 kB
query_3_witnessing_subsystem.lab
190 Bytes
query_3_witnessing_subsystem.tra
285.1 kB
query_4_certificate.json
165.9 kB
query_4_witnessing_subsystem.lab
190 Bytes
query_4_witnessing_subsystem.tra
397.9 kB
query_5_certificate.json
7.0 kB
query_5_scheduler.dot
55.9 kB
query_5_witnessing_subsystem.lab
92 Bytes
query_5_witnessing_subsystem.tra
1.4 kB
query_6_certificate.json
7.0 kB
query_6_scheduler.dot
55.9 kB
query_6_witnessing_subsystem.lab
94 Bytes
query_6_witnessing_subsystem.tra
3.8 kB
query_7_certificate.json
7.0 kB
query_7_scheduler.dot
55.9 kB
query_7_witnessing_subsystem.lab
96 Bytes
query_7_witnessing_subsystem.tra
6.4 kB
query_8_certificate.json
7.0 kB
query_8_scheduler.dot
55.9 kB
query_8_witnessing_subsystem.lab
96 Bytes
query_8_witnessing_subsystem.tra
8.7 kB
query_9_certificate.json
7.0 kB
query_9_scheduler.dot
55.9 kB
query_9_witnessing_subsystem.lab
96 Bytes
query_9_witnessing_subsystem.tra
8.9 kB
summary.csv
4.6 kB
run.sh
425 Bytes
run_storm.sh
3.3 kB
run_storm_ws.sh
10.5 kB
storm_results.txt
26.1 kB
storm_results_ws.txt
3.6 kB
storm_script.py
1.3 kB
firewire3.pdf
125.3 kB
firewire6.pdf
125.3 kB
firewire9.pdf
125.3 kB
generate_dual_table.py
3.9 kB
generate_figures.py
1.5 kB
generate_storm_table.py
3.1 kB
generate_tables.py
8.6 kB
get_total_time.py
445 Bytes
mp_table.csv
2.4 kB
mp_table.html
6.2 kB
mp_table.tex
2.4 kB
phil
README.md
627 Bytes
phil-nofair3.nm
2.1 kB
phil-nofair3.props
323 Bytes
phil-nofair4.nm
2.0 kB
phil-nofair4.props
325 Bytes
phil3_results_2024-04-13-04-55-15
gurobi_log.txt
36.2 kB
log.txt
37.0 kB
query_0_certificate.json
714 Bytes
query_0_witnessing_subsystem.lab
169 Bytes
query_0_witnessing_subsystem.tra
304 Bytes
query_1_certificate.json
1.7 kB
query_1_witnessing_subsystem.lab
355 Bytes
query_1_witnessing_subsystem.tra
799 Bytes
query_2_certificate.json
1.7 kB
query_2_witnessing_subsystem.lab
355 Bytes
query_2_witnessing_subsystem.tra
799 Bytes
query_3_certificate.json
48.6 kB
query_3_witnessing_subsystem.lab
13.6 kB
query_3_witnessing_subsystem.tra
41.7 kB
query_4_certificate.json
48.6 kB
query_4_witnessing_subsystem.lab
13.6 kB
query_4_witnessing_subsystem.tra
41.7 kB
query_5_certificate.json
48.6 kB
query_5_witnessing_subsystem.lab
13.6 kB
query_5_witnessing_subsystem.tra
41.7 kB
summary.csv
2.1 kB
phil4_results_2024-04-13-05-07-03
gurobi_log.txt
47.6 kB
log.txt
48.4 kB
query_0_certificate.json
1.9 kB
query_1_certificate.json
2.6 kB
query_2_certificate.json
19.0 kB
query_2_witnessing_subsystem.lab
1.1 kB
query_2_witnessing_subsystem.tra
4.5 kB
query_3_certificate.json
511.0 kB
query_3_witnessing_subsystem.lab
123.4 kB
query_3_witnessing_subsystem.tra
629.5 kB
query_4_certificate.json
507.3 kB
query_4_witnessing_subsystem.lab
123.4 kB
query_4_witnessing_subsystem.tra
629.5 kB
query_5_certificate.json
510.7 kB
query_5_witnessing_subsystem.lab
123.4 kB
query_5_witnessing_subsystem.tra
629.5 kB
summary.csv
2.1 kB
run.sh
268 Bytes
run_storm.sh
1.5 kB
storm_results.txt
10.0 kB
storm_script.py
443 Bytes
reach_table.csv
3.8 kB
reach_table.html
8.8 kB
reach_table.tex
3.3 kB
requirements.txt
279 Bytes
sensors
README.md
759 Bytes
run.sh
258 Bytes
run_storm.sh
584 Bytes
sensors1.nm
3.3 kB
sensors1.props
171 Bytes
sensors1_results_2024-04-13-05-40-20
gurobi_log.txt
11.2 kB
log.txt
11.5 kB
query_0_certificate.json
2.2 kB
query_0_witnessing_subsystem.lab
122 Bytes
query_0_witnessing_subsystem.tra
1.2 kB
query_1_certificate.json
23.9 kB
query_1_witnessing_subsystem.lab
242 Bytes
query_1_witnessing_subsystem.tra
17.3 kB
summary.csv
957 Bytes
sensors2.nm
4.1 kB
sensors2.props
171 Bytes
sensors2_results_2024-04-13-05-45-24
gurobi_log.txt
40.9 kB
log.txt
41.2 kB
query_0_certificate.json
8.8 kB
query_0_witnessing_subsystem.lab
122 Bytes
query_0_witnessing_subsystem.tra
4.0 kB
query_1_certificate.json
416.7 kB
query_1_witnessing_subsystem.lab
26.7 kB
query_1_witnessing_subsystem.tra
437.3 kB
summary.csv
957 Bytes
storm_results.txt
3.8 kB
storm_script.py
431 Bytes
storm_table_mp.csv
798 Bytes
storm_table_mp.html
2.6 kB
storm_table_mp.txt
1.0 kB
storm_table_reach.csv
984 Bytes
storm_table_reach.html
3.2 kB
storm_table_reach.txt
1.3 kB
zeroconf
.DS_Store
6.1 kB
README.md
224 Bytes
generate_props.py
669 Bytes
original2.props
58 Bytes
original4.props
74 Bytes
original6.props
77 Bytes
original8.props
74 Bytes
run.sh
456 Bytes
run_storm.sh
2.4 kB
storm_results.txt
22.5 kB
storm_script.py
470 Bytes
zeroconf2_results_2024-04-14-22-12-13
zeroconf4_results_2024-04-14-22-12-38
zeroconf6_results_2024-04-14-22-13-51
zeroconf_host_multi2.nm
6.0 kB
zeroconf_host_multi2.props
379 Bytes
zeroconf_host_multi4.nm
6.5 kB
zeroconf_host_multi4.props
379 Bytes
zeroconf_host_multi6.nm
6.9 kB
zeroconf_host_multi6.props
379 Bytes
zeroconf_host_multi8.nm
7.5 kB
zeroconf_host_multi8.props
379 Bytes