Predicate abstraction with indexed predicates

DOI10.1145/1297658.1297662zbMath1367.68196arXivcs/0407006OpenAlexW2151643528MaRDI QIDQ5277793

Shuvendu K. Lahiri, Randal E. Bryant

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0407006

zbMATH Keywords

formal verificationabstract interpretationpredicate abstractioninvariant synthesisinfinite-state verificationcache-coherence protocols

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

MCMT: A Model Checker Modulo Theories ⋮ Abstract Counterexamples for Non-disjunctive Abstractions

This page was built for publication: Predicate abstraction with indexed predicates