GitHub - roohitavaf/USlicer: USlicer is a tool for slicing timed automata models. Given a timed automata model and a property of interest, USlicer generates a sliced version of the model for verifying the property of interest. As a result, the designer can analyze the sliced version in less time and memory.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
models		models
results		results
upload		upload
.gitignore		.gitignore
Slicer.py		Slicer.py
Slicer.py~		Slicer.py~
ToDo		ToDo
ToDo~		ToDo~
UPPAL_XML_Parser.py		UPPAL_XML_Parser.py
UPPAL_XML_Parser.pyc		UPPAL_XML_Parser.pyc
UPPAL_XML_Parser.py~		UPPAL_XML_Parser.py~
bit-protocol.xml		bit-protocol.xml
bit_protocol_6.xml		bit_protocol_6.xml
initiator_target_b_simple.q		initiator_target_b_simple.q
initiator_target_b_simple.xml		initiator_target_b_simple.xml
initiator_target_b_simple.xml~		initiator_target_b_simple.xml~
initiator_target_nb_revised.xml		initiator_target_nb_revised.xml
prod_cons_b_revisd2.xml		prod_cons_b_revisd2.xml
prod_cons_nb.xml		prod_cons_nb.xml
result.q~		result.q~
result.xml		result.xml
test.xml		test.xml
verifyta		verifyta

About

USlicer is a tool for slicing timed automata models. Given a timed automata model and a property of interest, USlicer generates a sliced version of the model for verifying the property of interest. As a result, the designer can analyze the sliced version in less time and memory.