Hotel Key Card

MaRDI QIDQ40948swMATHFDO

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

Described by source

• Verifying a Hotel Key Card System

Cited in

(3)

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

This page was built for software: Hotel Key Card