Popular repositories Loading

1. amuse amuse Public

   Python

2. sally sally Public

   Rust Model Checker

   Rust

3. verifydtapn verifydtapn Public

   Forked from TAPAAL/verifydtapn

   Verification engine for TAPAAL that uses the discrete semantics and supports EF, AG, EG and AF queries also for nets with weighted arcs but only with closed intervals.

   C++ 1

4. unfoldTACPN unfoldTACPN Public

   Forked from TAPAAL/unfoldTACPN

   TAPAAL unfolder for Colored Timed Arc Petri Nets

   Perl

5. tapaal-gui tapaal-gui Public

   Forked from TAPAAL/tapaal-gui

   TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

   Java

6. verifypn verifypn Public

   Forked from TAPAAL/verifypn

   The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.

   C++