News

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

Using HLL to solve Sudoku puzzles

By Lars Helander|2019-07-11T09:08:21+01:00July 10th, 2019|Categories: Formal Methods, HLL – High Level Language|

In a recent post we celebrated the 10th anniversary of the declarative, formal language HLL. The language is used extensively in [...]

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

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

The Tool providers that support HLL have now agreed on the content of the next published version of HLL. It will be [...]

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

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

1004, 2019

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

2103, 2019

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

1202, 2019

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