 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|---|
|
|
|
|---|
|
|
|
|---|
Speed, Safety and Savings
LATEST NEWS
LCF – For data exchange between humans and machines
Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured [...]
Introducing Prover Studio
I am proud to present Prover Studio, an integrated development environment for formal specifications. I must admit, we should have [...]
The CBTC User Group – discussing the CBTC signaling systems of today and tomorrow
Together with the metros of Copenhagen (Metroselskabet, MS), New York City (New York City Transit, NYCT) and Stockholm (Storstockholms [...]
Signaling Design Automation
Rail control and signalling solutions play a significant role in making efficient use of available infrastructure, enabling reliable and safe transport. Delays in delivery, acceptance and safety approvals have a highly negative impact on schedules and costs. Therefore, we are committed to simplify the development of rail control solutions.
We use a formal approach to develop a prototype, or a RMI – Reference Model Implementation, that validates specifications with simulation and formal verification.
Prover iLock®
Prover iLock is a desktop tool for development of application software for railway interlocking systems.
