Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

More Powerful Constant Value Checking with SMT Solving

Miscellaneous
Author(s):Jonas Mittnacht and Florian Lanzinger
Year:2026
PDF:PDF
URL:https://arxiv.org/abs/2610.05316

BibTeX

@misc{mittnacht2026powerfulconstantvaluechecking,
      title={More Powerful Constant Value Checking with SMT Solving}, 
      author={Jonas Mittnacht and Florian Lanzinger},
      year={2026},
      eprint={2610.05316},
      archivePrefix={arXiv},
      primaryClass={cs.PL},
      url={https://arxiv.org/abs/2610.05316}, 
      pdf="PDF:/lanzinger/pdf/mittnachtBA.pdf"
}