Automated Inference of Library Specifications for Source-Sink Property Verification

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

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 (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

• BLAST
• SLAM
• Perracotta
• Merlin
• TaintDroid
• F4F
• Dytan
• TAJ

This page was built for publication: Automated Inference of Library Specifications for Source-Sink Property Verification