A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols

DOI10.1007/978-3-540-74591-4_23zbMath1144.68306OpenAlexW1573822344MaRDI QIDQ3523184

Christoph Sprenger, David A. Basin

Publication date: 2 September 2008

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-74591-4_23

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A Hoare Logic for the State Monad ⋮ Imperative Functional Programming with Isabelle/HOL

Uses Software

• Isabelle/HOL