- Linux & Opensource Blog
- By Silviu Stahie
- October 23rd, 2012
TAPAAL 2.2.0 Has New Open Source Engine
An engine called verifydtapn, for discrete verification of closed nets, was added
An engine called verifydtapn, for discrete verification of closed nets, was added