Modular Verification of SRT Division (1996)

Cached

Download Links

by Harald Ruess Ruess
Citations:16 - 1 self

Documents Related by Co-Citation

542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
1311 Symbolic Model Checking – K McMillan - 1993
894 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
2976 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
4064 Computer Architecture: A Quantitative Approach, 4th Edition – J L Hennessy, D Patterson - 2006
63 Formal Verification of the AAMP5 Microprocessor - A Case Study in the . . . – Steven P. Miller - 1995
577 Detectability of Discrete Event Systems – Shaolong Shu, Feng Lin, Hao Ying
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
507 Symbolic Model Checking: An Approach to the State Explosion Problem – K L McMillan - 1993