Kbounded freeware
Kbounded
Added: November 30, 2013 | Visits: 312
The TAPAAL tool offers a graphical editor for drawing TAPN models, simulator for experimenting with the designed nets and a verification environment that automatically answers logical queries formulated in a subset of CTL logic (essentially EF, EG, AF, AG formulae without nesting). It also allows...
Platforms: *nix
License: Freeware | Size: 2 MB | Download (39): TAPAAL Download |