Managed Projects

Coloane

  Analyzed about 2 hours ago

Coloane is a free Eclipse based editor dedicated to systems modeling using different formalisms like Petri Nets. With Coloane you can design your models and connect them to the FrameKit platform. This platform provides you a huge set of tools you can use to verify properties on your models (i.e. "Does my model have a deadlock?")

42.8K lines of code

2 current contributors

4 months since last commit

11 users on Open Hub

Very Low Activity
5.0
 
I Use This

Set Decision Diagrams and ITS tools

  Analyzed 1 day ago

libDDD is C++ library for manipulation of decision diagrams, both Data Decision Diagrams which are integer valued and Hierarchical Set Decision Diagrams. ITS-tools is a multi-solution, mutli formalism model-checking toolsuite. libITS leverages libDDD to offer a generic symbolic model-checking ... [More] kernel with high expressivity, as featured by Guarded Action Language. CTL and LTL model-checking are built on top of libITS. A user friendly eclipse front end with support for Promela, Divine language, Petri nets, Timed Automata and GAL. [Less]

676K lines of code

2 current contributors

3 days since last commit

0 users on Open Hub

Moderate Activity
0.0
 
I Use This