Software announcement



Date view Thread view Subject view Author view

Johan Lilius (Johan.Lilius@abo.fi)
Mon, 6 Mar 2000 11:28:48 +0200


[The following might be of interest to the puml list, as the framework includes a simulator for UML state machines.] ANNOUNCEMENT We are happy to announce the pre-alpha release of ACF: a framework for writing model-checkers. ACF is built on the fundamental observation that the structure of most model-checking algorithms is independent of the formalism used to describe the system. By constructing suitable interfaces it is possible to provide generic algorithms that can be instanciated for any suitable formalism. ACF consists of generators, algorithms, and containers. In version 0.1 the following components have been implemented: - Generators: - A generator for UML state machines - A generator for Timed Automata - Generators for both Elementary Nets and Place/Transition nets - Algorithms - Depth-first and Breadth-first state search - Containers - StateSet - StateSpace ACF is available at http://aiken.cs.abo.fi/acf Regards, the ACF team Johan Lilius (jolilius@abo.fi) Henri Sara (hsara@abo.fi) Marcus Alanen (maalanen@abo.fi) Marcus Ahlfors (mahlfors@abo.fi)


Date view Thread view Subject view Author view