Benjamin Blanc, utgivare på Prover

About Benjamin Blanc

This author has not yet filled in any details.
So far Benjamin Blanc has created 2 blog entries.

PSL now supports sHLL

PSL 5 with sHLL support has been released! PSL is Prover’s model-checker that allows to verify designs according to safety properties and environment constraints. It natively takes HLL designs as inputs. But here is the novelty! With this new version of PSL, it is now possible to directly load sHLL models without an external [...]

By Benjamin Blanc|2023-03-29T09:59:33+01:00March 28th, 2023|Company News|

HLL crash course for Safety Engineers

Beginning May 18th, I led a four-day online crash course on HLL for a dozen Safety Engineers. Due to the French COVID-19 lockdown, the course was conducted via Microsoft Teams, alternating lectures and exercises. An online course is a very special experience: you can get very close to a student’s activities when sharing terminals and [...]

By Benjamin Blanc|2020-06-10T07:27:51+01:00June 10th, 2020|Formal Verification, HLL – High Level Language|