jesper.carlstrom

About Jesper Carlström

Jesper Carlström is VP Engineering at Prover, managing services and product development.

Formal Verification Performance Jump

We are starting to receive customer feedback about our model checker PSL. Truly exciting reading!      “Our proof time has decreased by 12 times on average” one customer said. The comparison was made with the old model checker Tecla. Another customer reported:      “7 times faster on average” and when they tried our [...]

By |2018-11-23T16:18:27+00:00November 23rd, 2018|Product News|

Interlocking Design Automation at Suburban line Roslagsbanan

With the opening of Roslags Näsby on December 10, we proudly conclude that we contributed to 10 interlockings so far with auto-generated programs in service. At Roslags Näsby, Roslagsbanan forks into two branches, which makes the station a bit more involved than the average, with 14 switches. The project of auto-generating programs for Roslagsbanan with [...]

By |2017-12-19T10:07:42+00:00December 18th, 2017|Company News, Signaling Solutions|

Prover sponsor of Logic in Stockholm 2017

For those of us who like mathematical logic, there is a series of logic events in Stockholm this summer. It is an excellent opportunity to meet inspiring people and see where formal logic is heading today. Both the traditional Logic Colloquium and the 25th annual conference Computer Science Logic will take place in Stockholm, together [...]

By |2017-09-21T11:33:11+00:00May 29th, 2017|Company News|