Automated Inference of Library Specifications for Source-Sink Property Verification
From MaRDI portal
Publication:2937794
DOI10.1007/978-3-319-03542-0_21zbMath1426.68068OpenAlexW2181712945MaRDI QIDQ2937794
Isil Dillig, Haiyan Zhu, Thomas Dillig
Publication date: 12 January 2015
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-03542-0_21
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Assume, Guarantee or Repair ⋮ Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization ⋮ Scalable algorithms for abduction via enumerative syntax-guided synthesis
Uses Software
This page was built for publication: Automated Inference of Library Specifications for Source-Sink Property Verification