Formal Specification and Application Engineering

Every operator and supplier is different. Our consultants have a wide range of skills, and stand with one foot in the old and one in the new. They are as comfortable with traditional engineering processes for software and relay-based systems, as they are with Prover iLock and PiSPEC. This ensures that we understand where you are coming from, where you need to go, and how to get you get there as quickly and efficiently as possible.

Our turn-key services include

Formal Specification

We formalize your design, safety and test requirements. Your future applications can then be designed, formally verified and simulated with a high degree of automation. In addition, quality is improved as we identify and resolve all ambiguities.

Formal Verification

We formalize your safety requirements in PiSPEC, import an application (relay or computerized) into Prover iLock, and formally verify it. Formal verification gives unparalleled safety compared to testing, review and other methods.

Simulation

We formalize your test procedures in PiSPEC, import an application (relay or computerized) into Prover iLock, and simulate it. Fast and automatic test generation and simulation eliminates manual errors and reduces cost.

Stability Verification & Optimization

We import an application (relay or computerized) into Prover iLock, verify that it is stable, and then generate a new execution order. The new execution order stabilizes in shortest time possible, and the worst case cycle time and scenario is known up front.

Turn-Key Application Development

We formalize your design, test and safety requirements using PiSPEC and deliver formally verified and simulated application code. You shorten time to market, get unparalleled quality and reduce your costs.

Process Consulting

We analyze your process and methods to determine how to reduce cost and improve quality.