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