Understanding parameters of deductive verification: an empirical investigation of KeY

DOI10.1007/978-3-319-94821-8_20OpenAlexW2810611369MaRDI QIDQ1791175

Carsten Immanuel Pardylla, Alexander Knüppel, Ina Schaefer, Thomas Thüm

Publication date: 4 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_20

zbMATH Keywords

theorem provingautomated reasoningformal methodscontrol parametersdeductive verificationdesign by contractKeY

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Formal specification and verification of JDK's identity hash map implementation

Uses Software

• KRAKATOA
• Why3
• JML
• Spec#
• Caduceus
• Frama-C
• z3
• VCC
• Java PathFinder
• KeY
• SPL Conqueror

This page was built for publication: Understanding parameters of deductive verification: an empirical investigation of KeY

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1791175)