Numeric and Symbolic Abstractions for Software Model Checking

Projekter: ProjektForskning

Publikationer

  • 3 Konferencebidrag i proceedings
  • 2 Tidsskriftartikel
Filter
Tidsskriftartikel
2017

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

2014

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