TAPAAL is a tool for modelling, simulation, and verification of Timed-Arc Petri nets. The TAPAAL tool offers a graphical editor for drawing TAPN models, a 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 the user to check whether a given net is k-bounded for a given number k. The newest version of TAPAAL is now equipped with three open-source verification engines distributed together with TAPAAL.
Read Me a Book
Window manager for OS X with features to shrink, maximize, and open windows at login.
MagicKeyboard turns a MagicTrackpad into a virtual keyboard or number pad.
A free Mac app that allows users to switch to AUS to get Sierra updates.
ShortcutDetective detects which app receives a keyboard shortcut, helping to identify why shortcuts aren't registering in some apps.
Assign custom actions to apps, incl.
Mac app that quickly generates file hashes using MD4, MD5, SHA1, and SHA256 algorithms.
Comments