Desertarun (talk | contribs) |
AlanSherlock (talk | contribs) m 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 |
(No difference)
| |
