The prototype of an Interval Decision Diagram based CSL model checker
for stochastic Petri nets is available.
Features:
# no previous knowledge of the boundedness degree required
# efficient saturation-based state space construction
# efficient multi-threaded CSL model checking
The prototype is available for windows, linux and mac.
For download and further details visit
http://www-dssz.informatik.tu-cottbus.de/software/software.html
Best regards
Martin Schwarick
-----------------------------------------------
Martin Schwarick
Brandenburg University of Technology at Cottbus
Computer Science Institute
= Data Structures and Software Dependability =
Postbox 10 13 44, 03013 Cottbus, Germany
http://www-dssz.informatik.tu-cottbus.de/
[EMAIL PROTECTED]
-----------------------------------------------
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
