CP 2016 has ended
Back To Schedule
Monday, September 5 • 16:05 - 16:40
CP meets Verification - Invited talk: Network Verification: When less is more, but not always
    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.          

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... Read More →

Monday September 5, 2016 16:05 - 16:40 CEST
B202 Bosco building

Attendees (2)