BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Isaac Newton Institute Seminar Series
SUMMARY:Adventures in Specification Based Testing - Benjam
 in Pierce (University of Pennsylvania)\, Robert Jo
 hn Muir Hughes (Chalmers University of Technology)
DTSTART;TZID=Europe/London:20241008T093000
DTEND;TZID=Europe/London:20241008T110000
UID:TALK220267AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/220267
DESCRIPTION:VERSE is a new effort to build an environment for 
 writing\, testing\, and verifing systems software 
 in C. The intention is to offer a low-cost path to
  tangible benefit and a gentle slope to higher-ass
 urance tools\, with carefully integrated tools for
  specification\, specification-based testing\, SMT
 -based automated proof\, interactive proof\, and p
 roof synthesis and repair. &nbsp\;Input from both 
 HCI experts and working software engineers will dr
 ive an iterative\, user-centred design process. &n
 bsp\;Our goal is to bring proof engineering techno
 logies out of the academic ivory tower and into tr
 aditional software development settings\, empoweri
 ng developers with a wide spectrum of formal-metho
 ds sophistication to build better software.\nI'll 
 sketch what VERSE looks like so far\, where we hop
 e it's going\, and what we've learned from others 
 that have trodden some of the same ground.\nVerse 
 is joint work with a large team at Penn\, Cambridg
 e\, UIUC\, Amherst\, Maryland\, EPFL\, Galois\, Ly
 nx\, and Lockheed. &nbsp\;
LOCATION:Seminar Room 1\, Newton Institute
CONTACT:
END:VEVENT
END:VCALENDAR