Registered 2010-02-01 by Kenneth Yrke Jørgensen

opaal is a distributed/parallel (discrete time) model checker for networks of timed automata implemented in Python using MPI.
opaal is designed to be easily extendible, such that different approaches can be prototyped quickly.

You can meet the development team in #opaal @ irc.efnet.org

Project information

Maintainer:
opaal maintainers
Driver:
Not yet selected
Licence:
GNU GPL v3

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

All code Code

Version control system:
Bazaar
Programming languages:
Python

Get Involved

Downloads

Latest version is 0.2
released on 2011-01-03

All downloads