Talk:Temporal logic in finite-state verification

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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

Merge request

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]