Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover (Q3559766)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover |
scientific article |
Statements
Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover (English)
0 references
7 May 2010
0 references
