SPECIAL ISSUE:
Selected Papers of the Confrence 'Tools and Algorithms for the Construction and Analysis of Systems "TACAS" 2011'
Saarbrücken, Germany, 2011


Preface
Parosh A. Abdulla and K. Rustan M. Leino


Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
Tino Teige and Martin Fränzle


Software Model Checking with Explicit Scheduler and Symbolic Threads
Alessandro Cimatti, Iman Narasamdya and Marco Roveri


Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Alberto Griggio, Thi Thieu Hoa Le and Roberto Sebastiani


Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
Sylvain Conchon, Evelyne Contejean and Mohamed Iguernelala


Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Wonchan Lee, Yungbum Jung, Bow-yaw Wang and Kwangkuen Yi


Applying CEGAR to the Petri Net State Equation
Karsten Wolf and Harro Wimmel


Off-line test selection with test purposes for non-deterministic timed automata
Nathalie Bertrand, Thierry Jéron, Amélie Stainer and Moez Krichen



DOI: 10.2168/LMCS-TACAS:2011

Creative Commons