Mathematics and Software Verification

DOI10.1017/9781009070218.004zbMATH Open1497.68110OpenAlexW4200585533MaRDI QIDQ5034385

Author name not available (Why is that?)

Publication date: 25 February 2022

Full work available at URL: https://www.cambridge.org/core/books/mathematics-for-future-computing-and-communications/mathematics-and-software-verification/40F48E325441E8BDB0B4D0C174493C81

zbMATH Keywords

temporal logicprogram analysislogictype systemsHoare logiclambda-calculusCurry-Howard correspondencetheorem provermodel checkerpropositional

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Title not available (Why is that?)

Recommendations

• Computer programs and mathematical proofs 👍 👎
• Software Engineering for Mathematics 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Mathematics and Software Verification

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