SV for specific domains (concurrent programming)
Overview of the talk