Product News

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|