Scalable Techniques for Formal Verification (Q5187984)
From MaRDI portal
scientific article; zbMATH DE number 5679266
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Scalable Techniques for Formal Verification |
scientific article; zbMATH DE number 5679266 |
Statements
Scalable Techniques for Formal Verification (English)
0 references
10 March 2010
0 references
formal verification
0 references
interactive proof styles
0 references
integrated formal methods
0 references
model checking
0 references
theorem proving
0 references
program logics
0 references
operational semantics
0 references
