Write a Blog >>
Mon 20 Jan 2020 14:00 - 15:05 at Conde - Afternoon Keynote

TBA

SLEdge: Bounded Model Checking in Separation Logic (slides.pdf)186KiB

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change

14:00 - 15:05
Afternoon KeynoteADSL at Conde
14:00
65m
Talk
SLEdge: Bounded Model Checking in Separation Logic
ADSL
A: Josh BerdineFacebook
File Attached