News

Follow our Blog and Learn about current Events and Activities at Prover

See you at the RAILTEX Exhibition – May 14 -16

By Gunnar Smith|2019-04-17T08:04:37+01:00April 15th, 2019|Categories: Events|

We will exhibit at the RAILTEX Exhibition at the NEC in Birmingham, UK May 14 -16. Come to see us [...]

By Jesper Carlström|2019-04-10T10:40:23+01:00April 10th, 2019|Formal Verification|

The HLL Forum meeting we had in December decided to let a subgroup work on a new language definition meeting [...]

By Ida George|2019-03-21T09:49:34+01:00March 21st, 2019|Company News|

We are pleased to announce that IKOS Consulting & Prover Technology join forces to meet customer demand for Automated Development [...]

By Daniel Fredholm|2019-02-18T10:42:54+01:00February 12th, 2019|Formal Verification|

If you have read the first two parts of this series (Read Part 1 here and Part 2 here), then [...]

602, 2019

By Daniel Fredholm|2019-02-07T10:52:32+01:00February 6th, 2019|Formal Methods, Formal Verification|

Hopefully you have read part 1 on this blog, where I tried to convince you that traditional methods will not [...]

3101, 2019

By Daniel Fredholm|2019-01-31T11:16:12+01:00January 31st, 2019|Formal Methods, Formal Verification|

The subject I am going to write about this time is not an easy one. I will try to explain [...]

1401, 2019

By Thierry Lartaud|2019-01-14T15:38:04+01:00January 14th, 2019|Events|

We will exhibit at the SIFER Rail event on March 26-28 in Lilles - France Come to see us on [...]