Numeric and Symbolic Abstractions for Software Model Checking

Project: Research

Rammebevilling fra Forskningsråd for Natur og Univers.

Constraint specialisation in Horn clause verification
Kafle, B. & Gallagher, J. P., 1 Apr 2017, In: Science of Computer Programming. 137, p. 125-140 16 p.
Research output: Contribution to journal › Journal article › Research › peer-review
Constraint Specialisation in Horn Clause Verification
Kafle, B. & Gallagher, J. P., 4 Jan 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM '15. Asai, K. & Sagonas, K. (eds.). New York: Association for Computing Machinery, p. 85-90 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
Tree automata-based refinement with application to Horn clause verification
Kafle, B. & Gallagher, J. P., 2015, Verification, Model Checking, and Abstract Interpretation. D'Souza, D., Lal, A. & Larsen, K. G. (eds.). Springer, Vol. 8931. p. 209-226 18 p. (Lecture Notes in Computer Science; No. 8931).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
Analysis and Transformation Tools for Constrained Horn Clause Verification
Kafle, B. & Gallagher, J. P., 21 Jul 2014, In: Theory and Practice of Logic Programming. 14, 4-5, p. 90-101 12 p., 4-5.
Research output: Contribution to journal › Journal article › Research › peer-review

File

Project Details