Checker Framework Fork with SMT Value Checking

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Jonas Mittnacht
DOI: 10.5281/zenodo.18788796
Cited by: 0

Abstract

This is the fork of the Checker Framework that includes the SMT Value Checking extension created as part of my Bachelor's Thesis "More Powerful Constant Value Checking with SMT Solving".

Fields of Study & Subjects

Logic programming and type systems Formal Methods in Verification Software Testing and Debugging Techniques

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
26 February 2026
Language
EN