Topic 1: Automatic Verification of Stabilization Protocols by Small Model Property
Speaker: Ritwika Ghosh, University of Illinois at Urbana Champaign
Date: Friday July 18, 2014
Time: 10:00am
Topic 2 : Epsilon: A Software Verification Tool for Bounding Floating Point Errors by Abstract Interpretation
Speaker: Maxime Legrand, Ecole Normale Supérieure, France
Time: 11:00am
Location: NIA, Room 137
100 Exploration Way, Hampton, VA 23666