BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260911T004810Z
UID:Seminar-verification-657@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20171130T140000
DTEND:20171130T150000
SUMMARY:Verification Series
DESCRIPTION:Boris Konev: Efficient Implementation of Property Directed Reachability\n\n’d like to discuss the IC3 (AKA Property Directed Reachability) method, which has been praised as the biggest advance in hardware model checking of modern time. \nI wanted to look into how this method works and how it compares with temporal resolution for a while now, so this seems to be a perfect opportunity.\n\nSpecifically, I will give an overview of Niklas Even, Anal Mishchenko, Robert Brayton “Efficient Implementation of Property Directed Reachability”, FMCAD 2011 but might also look into other papers.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=657
LOCATION:
END:VEVENT
END:VCALENDAR