On the effective deployment of functional formal verification (Q5946345)
From MaRDI portal
scientific article; zbMATH DE number 1658697
Language | Label | Description | Also known as |
---|---|---|---|
English | On the effective deployment of functional formal verification |
scientific article; zbMATH DE number 1658697 |
Statements
On the effective deployment of functional formal verification (English)
0 references
10 February 2002
0 references
formal verification
0 references
RuleBase
0 references