Modular Verification of SRT Division (1996)

View PDF

Download Links

by Harald Ruess Ruess
Citations:16 - 1 self

Documents Related by Co-Citation

571 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
942 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
1372 Symbolic Model Checking – K L McMillan - 1993
3153 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
628 Detectability of Discrete Event Systems – Shaolong Shu, Feng Lin, Hao Ying
1246 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
4331 Computer Architecture: a quantitative approach (3rd ed – J L Hennessy, D A Patterson - 2003
579 The STATEMATE Semantics of Statecharts – David Harel, Amnon Naamad - 1996
648 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992