Constraint-based automatic verification of abstract models of multithreaded programs

DOI10.1017/S1471068406002821zbMath1112.68089MaRDI QIDQ3430665

Giorgio Delzanno

Publication date: 23 March 2007

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

verificationconstraintsmultithreaded programs

Mathematics Subject Classification ID

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

Related Items (4)

Unnamed Item ⋮ Decidability and complexity of Petri nets with unordered data ⋮ The ω-Regular Post Embedding Problem ⋮ Towards Efficient Verification of Systems with Dynamic Process Creation

This page was built for publication: Constraint-based automatic verification of abstract models of multithreaded programs