Hotel Key Card

swMATH29234MaRDI QIDQ40948FDOQ40948

Author name not available (Why is that?)

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
• Formally verified algorithms for upper-bounding state space diameters
• Monotonox

This page was built for software: Hotel Key Card