×

MARCIE

swMATH ID: 12882
Software Authors: Heiner, Monika; Rohr, Christian; Schwarick, Martin
Description: MARCIE – model checking and reachability analysis done efficiently. MARCIE is a tool for the analysis of generalized stochastic Petri nets which can be augmented by rewards. The supported analysis methods range from qualitative and quantitative standard properties to model checking of established temporal logics. MARCIE’s analysis engines for bounded Petri net models are based on Interval Decision Diagrams. They are complemented by simulative and approximative engines to allow for quantitative reasoning on unbounded models. Most of the quantitative analyses benefit from a multi-threaded implementation. This paper gives an overview on MARCIE’s functionality and architecture and reports on the recently added feature of CSRL and PLTLc model checking.
Homepage: http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Marcie
Keywords: generalized stochastic Petri nets; model checking; simulation
Related Software: PRISM; SABRE; SNOOPY; CADP; SPIN; MRMC; Bio-PEPA; NuSMV; TINA; FDR3; LTSmin; TAPAAL; SBML Test Suite; INFAMY; Meddly; SMART_; GreatSPN; BIOCHAM; Breach; RoVerGeNe
Cited in: 6 Documents

Standard Articles

1 Publication describing the Software Year
MARCIE -- model checking and reachability analysis done efficiently
Heiner, Monika; Rohr, Christian; Schwarick, Martin
2013

Citations by Year