Automated hypersafety verification

DOI10.1007/978-3-030-25540-4_11arXiv1905.09242OpenAlexW2962297646MaRDI QIDQ6194574

Anthony Vandikas, Azadeh Farzan

Publication date: 16 February 2024

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Constraint-based relational verification ⋮ A pragmatic approach to stateful partial order reduction ⋮ Decomposing data structure commutativity proofs with \(mn\)-differencing ⋮ Verification of concurrent programs using Petri net unfoldings

This page was built for publication: Automated hypersafety verification