Suggested Topics within your search.
Suggested Topics within your search.
1
2
Published 2004
Table of Contents: ';
“...-Based Verification -- Formal Verification for Nonlinear Analog Systems: Approaches to Model...”View fulltext via EzAccess
Electronic
3
Table of Contents: ';
“...-Based Formal Verification -- Formal Verification and Models -- Clocks -- Resets -- Procedural Concurrent...”
Get full text
Get full text
Electronic
4
5
by Wilcox, Paul.
Published 2004
Table of Contents: ';
“...-Level Design -- Formal Verification Tools -- Testbench Development -- Advanced Testbenches -- Hardware...”Published 2004
View fulltext via EzAccess
Electronic
6
7
Published 2010
Table of Contents: ';
“... Modelling and Analysis of Agent Systems -- Assurance of Agent Systems: What Role Should Formal Verification...”Get full text
Electronic
8
9
10
11
12
13
14
15
16
17
18
by Tian, Jeff.
Published 2005
Table of Contents: ';
“..., and integration -- Defect prevention and process improvement -- Software inspection -- Formal verification...”Published 2005
View fulltext via EzAccess
eBook
19
20
Published 2013
Table of Contents: ';
“... Observational Equivalences with ProVerif -- Formal Verification of e-Auction Protocols -- Sessions...”Get full text
Electronic