Preface C. Flanagan and B. König | ||
Reachability under Contextual Locking | ||
Remi Bonnet, Rohit Chadha, Mahesh Viswanathan and P. Madhusudan | ||
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems | ||
Frédéric Lang and Radu Mateescu | ||
Parameterized Synthesis | ||
Swen Jacobs and Roderick Bloem | ||
Deciding Conditional Termination | ||
Radu Iosif, Filip Konecny and Marius Bozga | ||