This short video introduces Prover Studio, an integrated development environment for formal specifications. With support for the HLL, LCF and PiSPEC languages, it helps you manage complex specifications in a more productive way, keeping track of all your files and requirements. Used together with Prover iLock, it gives you an agile and test-driven process for developing and maintaining Generic Applications.
This demonstration will show you some of the highlights of Prover Studio, such as
- Syntax highlighting
- Identification of syntax and semantic errors
- Quick navigation with ‘go to definition’ and ‘find references’