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

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

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...