some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

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