Project Summary
VN is a tool for studying the behavior of nondeterministic finite automata (NDFA). It takes a description of an NDFA and generates a nondeterministic program; the program can then be executed randomly or guided interactively. VN can find one or moe accepting computation in an NDFA if they exist. The NDFA and the execution path are graphically displayed.
VN is based on other software tools that are included in the distribution:
The nondeterministic program generated from the NDFA is written in Promela, the language of the Spin model checker. VN uses the model checker, which is compatible with Spin and intended for educational use.
The graphical description of the NDFA and path are created in the dot language and layed out by the dot tool. Graphs in PNG format are created and are then displayed within VN. dot is part of Graphviz.
VN was designed with the help of Michal Armoni.
Note: If you wish to obtain the source code from the Subversion repository, use the branch vne, because the trunk contains an older version that is no longer supported.
Quick Reference
- Project Links:
-
Homepage
- Code Locations:
-
http://v-n.googlecode.com/svn/trunk
- Licenses:
- GPL-2.0+
- Similar Projects:
-
- Managers:
- Become the first manager for v-n
In a Nutshell, v-n...
- ...
- ...
- ...
-
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in February, 2009
ending with its most recent commit almost 4 years ago
Activity
30 Day Summary Apr 18 2013 — May 18 2013
|
12 Month Summary May 18 2012 — May 18 2013
|
Community
Copyright
©
2013
Black Duck Software, Inc.
and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a
Creative Commons Attribution 3.0 Unported License
. Ohloh
®
and the Ohloh logo are trademarks of
Black Duck Software, Inc.
in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.