Trust is good — control (through testing) is better — formal verification is best.

Throughout the last years trustworthiness has become a key building block in the design development of new software and hardware systems. Testing is a first step to establish this trustworthiness but is limited in terms of expressivity and energy-intensive. Formal verification offers an alternative approach.
Instead of via tests, the properties of a program are expressed as theorems and established via machine-checked proofs.   
 
This workshop brings together developers and formal verification engineers to exchange ideas, report on and discuss the latest trends in the domain of specification-driven formal verification for software and hardware design.

Workshopchair:

• Marieke Petersen