Numeric and Symbolic Abstractions for Software Model Checking

Projekter: ProjektForskning

Projektdetaljer

Beskrivelse

Rammebevilling fra Forskningsråd for Natur og Univers.
AkronymNUSA
StatusAfsluttet
Effektiv start/slut dato01/01/201131/12/2013

Publikationer

  • 3 Konferencebidrag i proceedings
  • 2 Tidsskriftartikel

Constraint specialisation in Horn clause verification

Kafle, B. & Gallagher, J. P., 1 apr. 2017, I : Science of Computer Programming. 137, s. 125-140

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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. (red.). New York: Association for Computing Machinery, s. 85-90 6 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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. (red.). Springer, Bind 8931. s. 209-226 18 s. (Lecture Notes in Computer Science; Nr. 8931).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

Analysis and Transformation Tools for Constrained Horn Clause Verification

Kafle, B. & Gallagher, J. P., 21 jul. 2014, I : Theory and Practice of Logic Programming. 14, 4-5, s. 90-101 12 s., 4-5.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil