Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Monday, September 5 • 16:05 - 16:40
CP meets Verification - Invited talk: Network Verification: When less is more, but not always
Tweet Share
Slides repository closed
    See presentations
We are building a new logic engine, called Network Logic Solver, to support the verification of Microsoft networks. In addition to dealing with the large scale of the problem, our engine must cope with a logic extended with operations used to model routing protocols: specifically, aggregation (min, max) and non-monotonic negation. These features make the problem significantly harder to solve, and are not tackled by tools currently developed in (software) verification community. This is a joint work with Nuno Lopes.          
Moderators
avatar for François Bobot

François Bobot

avatar for Nikolai Kosmatov

Nikolai Kosmatov

CEA List

Speakers
avatar for Andrey Rybalchenko

Andrey Rybalchenko

Senior Researcher, Microsoft Research
Andrey Rybalchenko is a senior researcher at Microsoft Research. He focuses on automated methods and tools for formal software and network verification. In the past, Andrey was a professor at Technische Universität München, a researcher at Max Planck Institute for Software Systems, EPFL, MSR Cambridge, Max Planck Institute for Informatics, and University of Saarland. Andrey was selected for MIT TR35 (2010) and Otto Hahn Medal (2005), received... Read More →

Monday September 5, 2016 16:05 - 16:40
B202 Bosco building
  Workshop: Verification, CP meets Verification, Invited talk

Attendees (2)