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.”