Abstract model checking: Difference between revisions

Revision as of 18:34, 26 January 2007

Revision as of 18:37, 26 January 2007

Line 18:

==References==

* {{cite journal | author=Edmund M. Clarke and Orna Grumberg and David E. Long | title=Model checking and abstraction | journal=ACM Transactions on Programming Languages and Systems| year=1992| volume=16 | issue=5 | pages=1512--1542}}

[[Category:Formal methods]]

[[Category:Logic in computer science]]

[[Category:Model theory]]

[[Category:Model checkers| ]]