Special:ProtectPage/Temporal logic in finite-state verification Source: en.wikipedia.org/wiki/Special:ProtectPage/Temporal_logic_in_finite-state_verification