Reuse in Software Verification by Abstract Method Calls
From MaRDI portal
Publication:4928448
DOI10.1007/978-3-642-38574-2_21zbMath1381.68166OpenAlexW1858610213MaRDI QIDQ4928448
Ina Schaefer, Richard Bubel, Reiner Hähnle
Publication date: 14 June 2013
Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_21
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Reusable contracts for safe integration of reinforcement learning in hybrid systems, An abstract contract theory for programs with procedures