ICS: Integrated Canonizer and Solver
暂无分享,去创建一个
[1] J. Strother Moore,et al. An Industrial Strength Theorem Prover for a Logic Based on Common Lisp , 1997, IEEE Trans. Software Eng..
[2] Natarajan Shankar,et al. Deconstructing Shostak , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
[3] Robert E. Shostak,et al. Deciding Combinations of Theories , 1982, JACM.
[4] Harald Ruess,et al. Solving Bit-Vector Equations , 1998, FMCAD.
[5] Edward Y. Chang,et al. STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems , 1996, CAV.
[6] Natarajan Shankar,et al. PVS: A Prototype Verification System , 1992, CADE.
[7] David L. Dill,et al. Validity Checking for Combinations of Theories with Equality , 1996, FMCAD.