z-vimes

Status: Alpha

Brought to you by: harwoodk

Add a Review

Downloads: 0 This Week

Last Update: 2016-11-28

Download

Get an email when there's a new version of z-vimes

Linux

Type checker and (eventually) theorem prover for the Z specification language.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow z-vimes

z-vimes Web Site

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Rate This Project

User Reviews

Be the first to post a review of z-vimes!

Additional Project Details

Operating Systems

BSD, Linux

Intended Audience

Information Technology

User Interface

Command-line

Programming Language

C++

Registered

2010-10-14

Report inappropriate content

Recommended Projects

Archive of Formal Proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
The Extended BON Toolsuite
Extended BON is a superset of BON, a clear and concise graphical and textual specification language for software systems. This tool suite consists of a scanner, parser, documentation generator, and design model checker for Extended BON.
GNU Aspell
GNU Aspell is a spell checker designed to eventually replace Ispell. It can either be used as a library or as an independent spell checker. Its main feature is that it does a superior job of suggesting possible replacements for a misspelled word.
tsipelina
An adaptation of MySpell to the malagasy language. And a malagasy online spell checker.
VeriSiMPL
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS...