WING 2010 Accepted Papers

Extending Non-Termination Proof Techniques to Communicating Asynchronous Concurrent Programs
Tropical linear programming and parametric mean payoff games
LOOPUS - A Tool for Computing Loop Bounds for C Programs
Cocktail II
CheAPS: a Checker of Asynchronous Parameterized Systems
Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol
Synthesising Functional Invariants in Separation Logic
Tool Demonstration of the FLATA Counter Automata Toolset