Program verification by coinduction

DOI10.1007/978-3-319-89884-1_21zbMath1418.68060OpenAlexW1165569327MaRDI QIDQ2324001

Lucas Peña, Grigore Roşu, Brandon Moore

Publication date: 13 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_21

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

A complete semantics of \(\mathbb{K}\) and its translation to Isabelle ⋮ Reasoning about iteration and recursion uniformly based on big-step semantics ⋮ (Co)inductive proof systems for compositional proofs in reachability logic

Uses Software

• Unnamed Item
• Unnamed Item
• OCaml
• JavaScript
• Boogie
• Python
• K-Java
• KJS

This page was built for publication: Program verification by coinduction