MoonWalkerA model checker for .NET programs | |
Download |
MoonWalker Ranking & Summary
Advertisement
- License:
- Apache License 2.0
- Publisher Name:
- Theo C. Ruys
- Operating Systems:
- Windows All
- File Size:
- 525 KB
MoonWalker Tags
MoonWalker Description
MoonWalker is a model checker developed on the Mono platform. MoonWalker is a program to automatically detect errors in CIL bytecode programs, i.e. applications written for the .NET platform. Give MoonWalker a try to see what it's a really capable of!
MoonWalker Related Software