Welcome to Lemma 1!
This is the home page for Lemma 1 Ltd.
Lemma 1 provides consultancy in software engineering. We specialise
in tools and methods for applying formal, mathematical, methods for specifying,
designing and verifying critical software systems. We can also undertake
software development in a range of programming languages and operating
- GETTING IN TOUCH - how to do just that!
- ProofPower - a suite of tools
for specification and proof in HOL and Z; also the Compliance Tool for
specifying and verifying Ada programs.
The HOL and Z tools are free open source software.
You can obtain ProofPower from the
- Z STANDARDS PAGE
- some contributions to the ISO standardisation of the Z specification
- PAPERS - some papers on formal methods
- SCRAPBOOK - odds and ends
- ClawZ - reports on a recent project connecting Simulink and Z
Created by Rob Arthan
Last updated: $Date: 2004/03/28 12:08:36 $