Modular Verification of SRT Division (1996)

Cached

Download Links

by Harald Ruess Ruess
Citations:16 - 1 self

Documents Related by Co-Citation

616 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
999 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
1436 Symbolic Model Checking – K L McMillan - 1993
3399 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
4662 Computer Architecture A Quantitative Approach, 2nd ed – J L Hennessy, D A Patterson - 1996
732 Detectability of Discrete Event Systems – Shaolong Shu, Feng Lin, Hao Ying
716 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
1331 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
584 Symbolic model checking: an approach to the state explosion problem – K L McMillan - 1992