Hotel Key Card

MaRDI QIDQ40948swMATHFDO

Authors Tobias Nipkow

Publication date 9 September 2006

Official website https://www.isa-afp.org/entries/HotelKeyCards.html

Cites work

• Automation for interactive proof: first prototype
• Bounded model generation for Isabelle/HOL
• Unnamed Publication
• Isabelle/HOL. A proof assistant for higher-order logic
• Verifying a Hotel Key Card System

Described by source

• Verifying a Hotel Key Card System

Cited in

(3)

• Formally verified algorithms for upper-bounding state space diameters
• Monotonox
• Monotonicity inference for higher-order formulas

This page was built for software: Hotel Key Card