Home » Products » Prover Studio
Formal Specification

Prover Studio®

An Integrated Development Environment for Formal Specifications.

A key element of the Prover Trident process is the Generic Application that formalizes the signaling requirements for your rail control applications using the PiSPEC and LCF languages. Prover Studio is a development environment for these languages, as well as for HLL and sHLL. It is an extension to Visual Studio Code and available for free at Microsoft Marketplace for Visual Studio Code extensions.

Prover Studio is recommended for the development and maintenance of Prover iLock Generic Applications.

Prover Studio

Benefits of Prover Studio®

Based on Visual Studio Code, Prover Studio provides all the expected features such as syntax highlighting, auto-completion, reporting of syntax and semantic errors and shortcuts to find definitions and references. Prover Studio is used to edit and keep track of the PiSPEC and LCF source files when the Generic Applications are developed, at the same time as Prover iLock is used to test and validate the specifications on Specific Application configurations, supporting an agile and test-driven development process.

Syntax highlighting
Reporting of syntax and semantic errors and shortcuts to find definitions
Edit and keep track of PiSPEC and LCF source files
Product Demo
For privacy reasons YouTube needs your permission to be loaded. For more details, please see our Privacy Policy.
I Accept

Prover’s innovative solution bring benefits to many types of Rail Control Projects.

Book A demo

Learn the possibilities with Prover – in action!

Book a 30 minute demo and learn about what benefits Prover products can bring to you and your organisation.

We’ll cover how to:

  • Specific Application Engineering with Prover iLock

  • Formal Verification with Prover iLock and Prover Certifier

Prefer speaking on the phone? Contact us on +46 (0)8 617 68 00.