Mon 18 Jun 2018 15:00 - 15:30 at Columbus Ballroom B - From Testing to Verification

Mon 18 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

14:00 - 15:40
From Testing to VerificationDeepSpec at Columbus Ballroom B
14:00
30m
Talk
Verifiable C, a logic and system for proving C programs correct
DeepSpec
14:30
30m
Talk
Progress Report on the DeepSpec Web Server
DeepSpec
Benjamin C. PierceUniversity of Pennsylvania
15:00
30m
Talk
QuickChick: Random Testing in Coq
DeepSpec
Leonidas LampropoulosUniversity of Pennsylvania