In: Computer Aided Verification (CAV'99) Proceedings of the 11th International Conference, Trento, Italy, July 1999, pages 483-486. Volume 1633 of Lecture Notes in Computer Science / N. Halbwachs, D. Peled (Eds.) --- Springer Verlag, 1999.
Abstract: We present a collection of tools for functional and quantitative analysis of discrete event dynamic systems (DEDS). Models can be formulated as a set of automata with synchronous communication or as Petri nets. Analysis takes place with a strong emphasis on state based analysis methods using Kronecker representations and ordered natural decision diagrams. Independent tools provide access to orthogonal techniques from different fields including computation of bisimulation equivalences, modelchecking, numerical analysis of Markov chains, and simulation. Two file formats are defined to provide a simple exchange mechanism between independent tools which allows to build various combinations of tools.