Presentation is loading. Please wait.

Presentation is loading. Please wait.

Software for Formal Methods

Similar presentations


Presentation on theme: "Software for Formal Methods"— Presentation transcript:

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 ?


Download ppt "Software for Formal Methods"

Similar presentations


Ads by Google