Three improvements to the top-down solver

DOI10.1017/S0960129521000499zbMath1489.68053MaRDI QIDQ5084314

Helmut Seidl, Ralf Vogler

Publication date: 24 June 2022

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

static analysis; abstract interpretation; local solvers

Mathematics Subject Classification ID

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Ciao
• CiaoPP
• Goblint