Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server

DOI10.1007/978-3-540-85110-3_25MaRDI QIDQ5505511zbMATH OpenOpenAlexFDO

Authors J. Santiago Jorge, Victor M. Gulias, Laura M. Castro

Publication date 27 January 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85110-3_25

zbMATH Keywords

formal methodsfunctional programmingreal-world applicationssoftware verificationtheorem provers

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• scientific article; zbMATH DE number 1962750
• scientific article; zbMATH DE number 177526
• scientific article; zbMATH DE number 1070623
• scientific article; zbMATH DE number 177247
• Modular deductive verification of multiprocessor hardware designs

Cited in

(1)

• scientific article; zbMATH DE number 1962750 (Why is no real title available?)

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server

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