Download presentation
Presentation is loading. Please wait.
1
Software for Formal Methods
Mike Rhoades 4/26/05 Cosc 481
2
Formal Specifications
Z Developed by Programming Research Group Defined by OSI/IEC 13568:2002 Very popular B Formal method for developing program code Specification from the Abstract Machine Notation VDM Vienna Development Method Originated from work done at IBM Vienna Lab.
3
Z Tool Support Community Z Tools Project
Started by Oxford Univ. Comp. Lab. Became a sourceforge project Used for editing, typechecking, and animating.
4
Install Community Z Tools
Download Binaries Install Jedit Download Java platform or better Copy all jar files from your czt directory into jedit's jar directory.
5
Just Another Proof Editor
First Order Logic Single & Multiple conclusion sequent calculus Equational reasoning
6
ProofPower High Order Logic proofs Z specification proofs Unix systems
X windows front end
7
Zeta Open source Z parser ZAP for executing Z specifications
Written in Java Supports plug-ins
8
References http://czt.sourceforge.net/ http://vl.zuser.org/
9
Questions ?
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.