Hotel Key Card

swMATH29234MaRDI QIDQ40948FDOQ40948

scientific article; zbMATH DE number Author name (Why is no real title available?)

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