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

DOI: 10.1007/978-3-642-36742-7_20

Related Projects (1)

Project icon

Automatic Software Verification: Harnessing Constraint Technologies

As we come to rely on software to manage more and more aspects of our lives, the importance of software reliability increases; yet as progra..

Grants

Awarded by Australian Research Council

Funding Acknowledgements

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.

Citation metrics

10Web of Science
12Scopus

Keywords

Nfas
Technology
Computer Science
Computer Science, Theory & Methods
Science & Technology
Computer Science, Software Engineering
Programs
Solver
Equivalences