Probabilistic Horn Clause Verification

DOI10.1007/978-3-319-66706-5_1zbMath1420.68059OpenAlexW2750578229MaRDI QIDQ5233234

Aws Albarghouthi

Publication date: 16 September 2019

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-66706-5_1

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ The octatope abstract domain for verification of neural networks

This page was built for publication: Probabilistic Horn Clause Verification