Hardware Verification using Higher−Order Logic

Hardware Verification using Higher−Order Logic

Show other versions (1)

書目詳細資料
Main Authors:	Camilleri, A, Gordon, M, Melham, T
格式:	Report
出版:	Computer Laboratory‚ University of Cambridge 1986

相似書籍

Hardware Verification using Higher−Order Logic
由: Camilleri, A, et al.
出版: (1987)

Higher Order Logic and Hardware Verification
由: Melham, T
出版: (1993)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
由: Melham, T
出版: (1989)

Using Recursive Types to Reason about Hardware in Higher Order Logic
由: Melham, T
出版: (1988)

Using Recursive Types to Reason about Hardware in Higher Order Logic
由: Melham, T
出版: (1988)

Abstraction Mechanisms for Hardware Verification
由: Melham, T
出版: (1990)

Abstraction Mechanisms for Hardware Verification
由: Melham, T
出版: (1988)

Abstraction Mechanisms for Hardware Verification
由: Melham, T
出版: (1987)

Hardware verification using software analyzers
由: Mukherjee, R, et al.
出版: (2015)

Automating Recursive Type Definitions in Higher Order Logic
由: Melham, T
出版: (1989)

Automating Recursive Type Definitions in Higher Order Logic
由: Melham, T
出版: (1988)

Some Research Issues in Higher Order Logic Theorem Proving
由: Melham, T
出版: (1996)

Hardware Verification by Formal Proof
由: Birtwistle, G, et al.
出版: (1988)

Hardware Verification by Formal Proof
由: Birtwistle, G, et al.
出版: (1988)

Translating Dependent Type Theory into Higher Order Logic
由: Jacobs, B, et al.
出版: (1993)

Unbounded Safety Verification for Hardware Using Software Analyzers
由: Mukherjee, R, et al.
出版: (2015)

A Methodology for Large−Scale Hardware Verification
由: Aagaard, M, et al.
出版: (2000)

Parallel logical control algorithms: verification and hardware implementation
由: A.Zakrevskij
出版: (1996-07-01)

Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic
由: Chunna Zhao, et al.
出版: (2022-08-01)

An Industrially Effective Environment for Formal Hardware Verification
由: Seger, C, et al.
出版: (2005)

Verification by error modeling : using testing techniques in hardware verification /
由: 461327 Radecka, Katarzyna, et al.
出版: (2003)

Higher-order constrained Horn clauses for higher-order program verification
由: Jochems, J
出版: (2020)

Learning higher-order logic programs
由: Cropper, A, et al.
出版: (2019)

Logic analyzer : hardware /
由: 378106 Mashitah Ismail, et al.
出版: (2004)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
由: Sadrzadeh, M
出版: (2003)

Modular verification of hardware systems
由: Vijayaraghavan, Muralidaran
出版: (2016)

Formal Verification of Hardware Synthesis
由: Braibant, Thomas, et al.
出版: (2014)

The e hardware verification language /
由: 326523 Iman, Sasan, et al.
出版: (2004)

Formally Analysed Dynamic Synthesis of Hardware
由: Susanto, K, et al.
出版: (1998)

Formally Analyzed Dynamic Synthesis of Hardware
由: Susanto, K, et al.
出版: (2001)

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic
由: Jihong Han, et al.
出版: (2009-01-01)

Henkin on Nominalism and Higher-Order Logic
由: Diego Pinheiro Fernandes
出版: (2022-08-01)

Light Logics and Higher-Order Processes
由: Ugo Dal Lago, et al.
出版: (2010-11-01)

Higher-order constrained horn clauses for verification
由: Cathcart Burn, T, et al.
出版: (2017)

Restricted branching programs and hardware verification
由: Ponzio, Stephen J. (Stephen John)
出版: (2006)

Speed up verification with hardware accelerator
由: Liu, Yi
出版: (2018)

Restricted Branching Programs and Hardware Verification
由: Ponzio, Stephen J.
出版: (2023)

Hardware/software system-on-chip co-verification platform based on logic-based environment for application programming interfacing /
由: Teo, Hong Yap, 1990-, author, et al.
出版: (2015)

Hashing hardware : identifying hardware during boot-time system verification
由: Chilingirian, Berj Krikor
出版: (2017)

Simulating reachability using first-order logic with applications to verification of linked data structures
由: Tal Lev-Ami, et al.
出版: (2009-05-01)