VAlloy v.1.0

Extend the Alloy model checker (Java) to more natively support the OO concepts of dynamic dispatch and inheritance.

Extend the Alloy model checker (Java) to more ...

 
  • VAlloy
  • 1.0
  • aasenjo
  • Windows
  • Freeware
  • 163
  • Free
 
 

Review VAlloy

  • captcha
 
 
New Source Code software
  • DzSoft Perl Editor  v.5.8.9.8DzSoft Perl Editor is a popular tool for writing, editing, and debugging Perl/CGI scripts. Despite being a powerful professional IDE, DzSoft Perl Editor is lightweight and deceptively simple, which makes it comfortable, productive and easy to learn.
  • JCppEdit  v.3.8JCppEdit is giving you a unique platform where you can code many programs into a single environment, starting from C, C++, Java to HTML, CSS, JavaScript, XML and Text files.
  • CodeCompare  v.4.2Code Compare is a free powerful tool designed to compare and merge differing files and folders. It can be used as a Visual Studio add-in and as a standalone application. It contains folder synchronization and Code Compare options customization.
  • Agama App Translator for Android  v.1.0Agama App Translator for Android is unique useful tool that will allows you to easily localize your Android application in all world languages.
  • UCD Analyzer  v.1.0UCD Analyzer is a tool for analyzing websites usability (as well as accessibility, search engine optimization). It uses set of configurable rules to generate usability report.
  • VarVar  v.1.0Currently this is a place holder for my new project. It's a plugin for the latest GCC (4.5.0) and it tests in compile time correctness of memory management defined by CORBA C++ mapping.