VAlloy

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

Project Activity

See All Activity >

License

MIT License

Follow VAlloy

VAlloy Web Site

You Might Also Like

Speech-to-Text: Automatic Speech Recognition

Accurately convert voice to text in over 125 languages and variants by applying Google's powerful machine learning models with an easy-to-use API.

New customers get $300 in free credits to spend on Speech-to-Text. All customers get 60 minutes for transcribing and analyzing audio free per month, not charged against your credits.

Try for free

Rate This Project

User Reviews

Be the first to post a review of VAlloy!

Additional Project Details

Programming Language

Java

Related Categories

Java UML Tool, Java Object Oriented Software, Java Code Generators, Java Source Code Analysis Tool

Registered

2009-03-26

Similar Business Software

Adobe PDF Library SDK

Shorten development times & get to market faster with Adobe PDF Library. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same source code as Acrobat for stability, reliability...

See Software
Codeium

Codeium is a free AI-powered coding assistant that accelerates development by providing intelligent code autocompletion in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Codeium, developers can write code faster, eliminate repetitive...

See Software
Median.co

Median.co (formerly GoNative) is the industry-leading solution for building iOS and Android hybrid webview apps. The Median platform converts any website to a native mobile app quickly and cost-effectively. App Studio: Develop full-feature native mobile apps completely in your browser....

See Software

Report inappropriate content