Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)

Authors Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, Aditya Thakur and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.4.8.89.pdf
  • Filesize: 1.03 MB
  • 18 pages

Document Identifiers

Author Details

Daniel Kroening
Thomas W. Reps
Sanjit A. Seshia
Aditya Thakur
and all authors of the abstracts in this report

Cite AsGet BibTex

Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, and Aditya Thakur. Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). In Dagstuhl Reports, Volume 4, Issue 8, pp. 89-106, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
https://doi.org/10.4230/DagRep.4.8.89

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 14351 "Decision Procedures and Abstract Interpretation". The seminar brought together practitioners and reseachers in abstract interpretation and decision procedures. The meeting highlighted the connections between the two disciplines, and created new links between the two research communities. Joint activities were also conducted with the participants of Dagstuhl Seminar 14352 "Next Generation Static Software Analysis Tools", which was held concurrently.
Keywords
  • Program analysis
  • Abstract interpretation
  • Abstract domain
  • Fixed-point finding
  • Satisfiability checking
  • Satisfiability modulo theories
  • Decision pro

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail