Experience report

DOI10.1145/1596550.1596566zbMath1302.68090OpenAlexW2071542068MaRDI QIDQ2936807

Kevin Elphinstone, Philip Derrin, Gerwin Klein

Publication date: 6 January 2015

Published in: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1596550.1596566

zbMATH Keywords

HaskellIsabelle/HOLseL4microkernel

Mathematics Subject Classification ID

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

Related Items

Verification of the Schorr-Waite Algorithm – From Trees to Graphs ⋮ seL4

Uses Software

• Isabelle/HOL
• Haskell