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.

  • Syntax highlighting
  • Identification of syntax and semantic errors
  • Quick navigation with ‘go to definition’ and ‘find references’
Demonstration of Prover Studio

Yes please, send me the recording!

Fei Niu Prover

Fei Niu
Senior Developer, Prover