Conference Proceedings

Unbounded model-checking with interpolation for regular language constraints

G Gange, JA Navas, PJ Stuckey, H Sondergaard, P Schachte, N Piterman, SA Smolka

Tools and Algorithms for the Construction and Analysis of Systems | Springer Berlin Heidelberg | Published : 2013