- 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
- Linux & Opensource Blog
- By Silviu Stahie
- June 19th, 2012
Unity 4 Game Engine to Support Linux
Another important developer of graphic engines pledges support for Linux