Applications of polyhedral computations to the analysis and verification of hardware and software systems

DOI10.1016/j.tcs.2009.07.033zbMath1187.68311MaRDI QIDQ1035700

Enea Zaffanella, Roberto Bagnara, Patricia M. Hill

Publication date: 4 November 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2009.07.033

zbMATH Keywords

static analysis; abstract interpretation; computer-aided verification

Mathematics Subject Classification ID

68T37: Reasoning under uncertainty in the context of artificial intelligence

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• SPIN
• PHAVer
• HyTech
• PPL
• PolyLib
• ASTREE
• SPHIN