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

This article was nominated for deletion on 3 April 2016. The result of the discussion was keep.

Merge request

[edit]

See Talk:Model checking#Merge here: Temporal logic in finite-state verification for a discussion to merge this page into Model checking. — Bilorv (talk) 22:53, 15 July 2020 (UTC)[reply]