Arnaud Gotlieb, Leader of the Certus Centre (Photo by Bård Gudim)

Certus leader Arnaud Gotlieb co-organises CSTVA workshop in Melbourne, Australia

The eight edition of the CSTVA workshop (Constraint Solvers in Testing, Verification and Analysis) was successfully held in Melbourne, Australia, on Aug. 28th, 2017.

The workshop program included several invited talks on various topics ranging from the usage of SAT solvers for Software/Hardware verification to the design of constraint solvers for array constraints and floating-point computations. The Certus Centre leader, Arnaud Gotlieb, as co-organizer and member of the steering committee of the event, took care of the animation of the workshop which gathered more than 20 active participants. The workshop triggered many passionate discussions on the usage of constraint solving in software validation and verification.”