A direct encoding for NNC polyhedra

DOI10.1007/978-3-319-96145-3_13zbMath1511.68069MaRDI QIDQ6045006

Enea Zaffanella, Anna Becchi

Publication date: 26 May 2023

Published in: Computer Aided Verification (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (3)

Symbolic analysis of linear hybrid automata -- 25 years later ⋮ Decoupling the ascending and descending phases in abstract interpretation ⋮ PPLite: zero-overhead encoding of NNC polyhedra

This page was built for publication: A direct encoding for NNC polyhedra