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.
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
Auto-completion
Reporting of syntax and semantic errors and shortcuts to find definitions
Edit and keep track of PiSPEC and LCF source files
Product Demo
References
Prover’s innovative solutions brings benefits to many types of rail control projects
In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.
In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...
Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...
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:
Prefer speaking on the phone? Contact us on +46 (0)8 617 68 00.
+46 (0)8 617 68 00