Numeric and Symbolic Abstractions for Software Model Checking

Project: Research

Project Details

Description

Rammebevilling fra Forskningsråd for Natur og Univers.
AcronymNUSA
StatusFinished
Effective start/end date01/01/201131/12/2013

Research Output

  • 3 Article in proceedings
  • 2 Journal article

Constraint specialisation in Horn clause verification

Kafle, B. & Gallagher, J. P., 1 Apr 2017, In : Science of Computer Programming. 137, p. 125-140

Research output: Contribution to journalJournal articleResearchpeer-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 proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-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 journalJournal articleResearchpeer-review

File