Demonstration of Prover Studio

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.