Web Directory
 

ZETA System

  Link Details for: ZETA System
Link Title: ZETA System Open in a new window
Link URL: http://uebb.cs.tu-berlin.de/zeta/
Link Details: Environment to develop Z specification documents; integrated tool framework to edit, analyze, animate specifications, and formalisms mapped to Z; 5 tools (ESZ Checker, ZAP Compiler, Adaptors: LaTeX, HOL-Z, SMV), 2 GUIs (Emacs, Java). [Open Source, GPL]
Category: Top : Computers : Programming : Languages : Z
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
ZETA System