|
СТ |
An Integration of Model Checking with Automated Proof Checking |
1995 |
Rajan S., Shankar N., Srivas M. K. |
|
|
|
Lecture Notes in Computer Science |
26.07.1995 |
|
П |
A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part II: Articles |
1996 |
Srivas M. K. |
|
|
Basic Research in Computer Science |
|
21.01.1997 |
|
СТ |
Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods |
1996 |
Srivas M. K., Miller S. P. |
|
|
|
Formal Methods in System Design |
28.06.1996 |
|
П |
A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part I: Slides |
1996 |
Srivas M. K. |
|
|
Basic Research in Computer Science |
|
21.01.1997 |
