Property directed self composition
From MaRDI portal
Publication:6194570
DOI10.1007/978-3-030-25540-4_9arXiv1905.07705OpenAlexW2965927083MaRDI QIDQ6194570
Ron Shemer, Yakir Vizel, Sharon Shoham, Arie Gurfinkel
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.07705
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Product programs in the wild: retrofitting program verifiers to check information flow security ⋮ Constraint-based relational verification ⋮ Certified verification of relational properties ⋮ Compositional model checking for multi-properties
This page was built for publication: Property directed self composition
