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
Related Projects (1)
Awarded by Australian Research Council
We wish to thank Pieter Hooimeijer for providing both software and valiant support on short notice. We acknowledge support of the Australian Research Council through Discovery Project Grant DP110102579.