Jump to content

Talk:Temporal logic in finite-state verification

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Bilorv (talk | contribs) at 22:50, 15 July 2020. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Merge request

Since the last nomination four years ago, and since 2011 when this was tagged with the "essay-like style" issue and a merger suggestion, no changes have been made. I believe the last AfD failed because the participants were mainly non-experts but all of the information discussed is already covered at model checking, formal verification or linear temporal logic, bar the specific example, which I believe we can usefully merge to Model checking. This is not a meaningfully different scope for an article than those three articles and as such has no scope for growth that would not be best targeted instead at improving those articles. — Bilorv (talk) 22:50, 15 July 2020 (UTC)[reply]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Temporal_logic_in_finite-state_verification&oldid=967888252"