News

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

Save the date – SDA Forum in Beijing Nov 6

By Anders Linden|2019-07-09T08:19:39+01:00July 8th, 2019|Categories: Events, Formal Verification|

2017 an idea was born at Prover Technology, we wanted to create a forum for sharing experiences and best practices, [...]

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 [...]