Dependent types and formal synthesis
暂无分享,去创建一个
[1] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .
[2] P. Martin-Löf. Constructive mathematics and computer programming , 1984 .
[3] Keith Hanna,et al. Specification and Verification using Higher-Order Logic: A Case Study , 1986 .
[4] Jeffrey J. Joyce. Formal specification and verification of microprocessor systems , 1988 .
[5] Tom Melham,et al. Abstraction Mechanisms for Hardware Verification , 1988 .
[6] N. Daeche,et al. Formal Synthesis of Digital Systems , 1989 .
[7] Mark Longley,et al. Veritas+: A Specification Language Based on Type Theory , 1989, Hardware Specification, Verification and Synthesis.
[8] Geoffrey Brown,et al. Hardware Specification, Verification and Synthesis: Mathematical Aspects , 1990, Lecture Notes in Computer Science.
[9] Luc J. M. Claesen,et al. Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design , 1990 .
[10] M. Leeser,et al. Hardware specification, verification and synthesis : mathematical aspects : Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989, proceedings , 1990 .
[11] Mark Longley,et al. Specification and Verification Using Dependent Types , 1990, IEEE Trans. Software Eng..