Type checker and (eventually) theorem prover for the Z specification language.
Categories
Follow z-vimes
Other Useful Business Software
If your organization takes advantage of the cost-effective, flexible MySQL open source database platform, then you need a toolset that supports your commitment to open source relational databases. Toad Edge for MySQL has what you need and helps you ramp up on MySQL quickly, ensuring faster time to value.
Advertisement
Rate This Project
Login To Rate This ProjectUser Reviews
Be the first to post a review of z-vimes!