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

Mon 18 Jun

Displayed 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. Pierce University of Pennsylvania
15:00
30m
Talk
QuickChick: Random Testing in Coq
DeepSpec
Leonidas Lampropoulos University of Pennsylvania