Project Description


Demonstration of Prover Studio

A quick look into our integrated development environment

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’

Watch our demonstration by filling out the form!