SPECIAL ISSUE:
Selected papers of the conference ''Tools and Algorithms for the Construction and Analysis of Systems'': TACAS 2012
Tallinn, Estonia, 2012



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



DOI: 10.2168/LMCS-TACAS:2012

Creative Commons