STIP-model-checking

Formal verification through Model Checking of the AP-IP algorithm by Reza Azimi et al. (DOI: 10.1109/ICCPS.2014.6843706)

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
__pycache__		__pycache__
README.md		README.md
animation.py		animation.py
animation_test.txt		animation_test.txt
animations_bak14x14.txt		animations_bak14x14.txt
bozza_talk.txt		bozza_talk.txt
car.smv		car.smv
cell.smv		cell.smv
cell_processed.smv		cell_processed.smv
intersection.smv		intersection.smv
intersection_processed.smv		intersection_processed.smv
intersection_slim.smv		intersection_slim.smv
log.txt		log.txt
log1.txt		log1.txt
log2.txt		log2.txt
note.txt		note.txt
planning.py		planning.py
planning.smv		planning.smv
planning_and_protocol.py		planning_and_protocol.py
planning_processed.smv		planning_processed.smv
planning_results.txt		planning_results.txt
precomputed_code.py		precomputed_code.py
preprocess.py		preprocess.py
protocol.py		protocol.py
protocol.smv		protocol.smv
protocol_processed.smv		protocol_processed.smv
prova.py		prova.py
prova.txt		prova.txt
run.py		run.py
script.txt		script.txt
tcl_generator_script.py		tcl_generator_script.py

Provide feedback