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 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