Deductive software verification: from pen-and-paper proofs to industrial tools
From MaRDI portal
Publication:2075776
DOI10.1007/978-3-319-91908-9_18zbMath1482.68139OpenAlexW2978995391MaRDI QIDQ2075776
Reiner Hähnle, Marieke Huisman
Publication date: 16 February 2022
Full work available at URL: https://doi.org/10.1007/978-3-319-91908-9_18
Specification and verification (program logics, model checking, etc.) (68Q60) History of computer science (68-03)
Related Items
Logic for reasoning about bugs in loops over data sequences (IFIL), Reusable contracts for safe integration of reinforcement learning in hybrid systems, Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs, Certified abstract cost analysis
