Formal Verification

A new version of HLL emerging

The HLL Forum meeting we had in December decided to let a subgroup work on a new language definition meeting emerging needs in the market. Some of us in this subgroup compete as software tool providers, however we share the vision of a standard language definition, and we strongly believe that the users of HLL [...]

By |2019-04-10T10:40:23+00:00April 10th, 2019|Formal Verification|

Why Formal Verification – Verifying Safety Requirements on Railway Systems

The subject I am going to write about this time is not an easy one. I will try to explain why formal verification is good. In particular, why it is a good practice to use formal verification when verifying safety requirements on railway systems. The Verification Problem In order to make a convincing argument, I [...]

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