Computer-Assisted Simulation Proofs
暂无分享,去创建一个
Nancy A. Lynch | Stephen J. Garland | John V. Guttag | Jørgen F. Søgaard-Andersen | Anna Pogosyants | N. Lynch | J. Guttag | A. Pogosyants | S. Garland
[1] Martín Abadi,et al. The existence of refinement mappings , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[2] David L. Dill,et al. Verification of Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic , 1990, CAV.
[3] Stephen J. Garland,et al. Localized Verification of Circuit Descriptions , 1989, Automatic Verification Methods for Finite State Systems.
[4] Nancy A. Lynch,et al. Forward and Backward Simulations, II: Timing-Based Systems , 1991, Inf. Comput..
[5] Stephen J. Garland,et al. Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.
[6] Tobias Nipkow,et al. Formal Verification of Data Type Refinement - Theory and Practice , 1989, REX Workshop.
[7] Grzegorz Rozenberg,et al. Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991: Proceedings , 1992 .
[8] Stephen J. Garland,et al. Using transformations and verification in circuit design , 1992, Formal Methods Syst. Des..
[9] Robert S. Boyer,et al. A computational logic handbook , 1979, Perspectives in computing.
[10] Nancy A. Lynch,et al. An introduction to input/output automata , 1989 .
[11] Paul Loewenstein. Verification of a multiprocessor cache protocol using simulation relations and higher-order logic , 1992, Formal Methods Syst. Des..
[12] Stephen J. Garland,et al. A Guide to LP, The Larch Prover , 1991 .
[13] M. Gordon. HOL: A Proof Generating System for Higher-Order Logic , 1988 .