Title: Speeding Up Symbolic Execution Using Tight Field Bounds Speaker: Nicolas Rosner, Assistant Professor, Buenos Aires Institute of Technology (ITBA) and Assistant Researcher at Argentina’s National Scientific Research Council (CONICET) Date:…
Category: Seminars
7/21/14 Ghosh/Markevicius
Topic 1: Verification of an Alerting and Resolution Algorithm for a Parallel Aircraft Landing Protocol Speaker: Ritwika Ghosh, University of Illinois at Urbana Champaign Time: 10:00am Topic 2: Kodiak:…
7.18.14 Ghosh/Legrand
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…