Abstract model checking: Difference between revisions

Revision as of 15:08, 11 December 2021

Revision as of 15:12, 11 December 2021

Line 10:

<math>\eta</math>(<math>\theta</math>(abstract)) = abstract <br/>

<math>\theta</math>(<math>\eta</math>(real)) <math>\supseteq</math> real

==See also==

{{cmn|

* [[Abstract interpretation]]

* [[Automated theorem proving]]

* [[Computation tree logic]]

* [[Formal verification]]

* [[List of model checking tools]]

* [[Program analysis (computer science)]]

* [[Static code analysis]]

}}

==References==