Jump to content

Abstraction model checking

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by AlanSherlock (talk | contribs) at 13:04, 27 May 2021 (AlanSherlock moved page Abstraction model checking to Abstract model checking: Standard term, cf. Symbolic Model Checking, evidenced by (i) google search and (ii) Clarke's original paper which says "we construct an abstract model of a program without ever examining the corresponding unabstracted model" in the abstract). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Redirect to:

Abstract model checking

This page is a redirect. The following categories are used to track and monitor this redirect:

From a page move: This is a redirect from a page that has been moved (renamed). This page was kept as a redirect to avoid breaking links, both internal and external, that may have been made to the old page name.

When appropriate, protection levels are automatically sensed, described and categorized.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Abstraction_model_checking&oldid=1025420653"

Hidden category:

Redirects from moves