Relational STE and theorem proving for formal verification of industrial circuit designs

Relational STE and theorem proving for formal verification of industrial circuit designs

Čájet eará veršuvnnaid (1)

Model checking by symbolic trajectory evaluation, orchestrated in a flexible functional-programming framework, is a well-established technology for correctness verification of industrial-scale circuit designs. Most verifications in this domain require decomposition into subproblems that symbolic tra...

Bibliográfalaš dieđut
Váldodahkkit:	O'Leary, J, Kaivola, R, Melham, T
Materiálatiipa:	Conference item
Almmustuhtton:	2013

Geahča maid

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
Dahkki: O'Leary, J, et al.
Almmustuhtton: (2013)

A Reflective Functional Language for Hardware Design and Theorem Proving
Dahkki: Grundy, J, et al.
Almmustuhtton: (2006)

A Reflective Functional Language for Hardware Design and Theorem Proving
Dahkki: Grundy, J, et al.
Almmustuhtton: (2003)

Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
Dahkki: Aagaard, M, et al.
Almmustuhtton: (1999)

Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version)
Dahkki: Aagaard, M, et al.
Almmustuhtton: (2000)

Practical Formal Verification in Microprocessor Design
Dahkki: Jones, R, et al.
Almmustuhtton: (2015)

An Industrially Effective Environment for Formal Hardware Verification
Dahkki: Seger, C, et al.
Almmustuhtton: (2005)

A theorem proving framework for the formal verification of Web Services Composition
Dahkki: Petros Papapanagiotou, et al.
Almmustuhtton: (2011-08-01)

Formal verification of Matrix based MATLAB models using interactive theorem proving
Dahkki: Ayesha Gauhar, et al.
Almmustuhtton: (2021-03-01)

Accurate Theorem Proving for Program Verification
Dahkki: Cook, B, et al.
Almmustuhtton: (2006)

A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving
Dahkki: Yassmeen Elderhalli, et al.
Almmustuhtton: (2019-01-01)

Some Research Issues in Higher Order Logic Theorem Proving
Dahkki: Melham, T
Almmustuhtton: (1996)

Cogent: Accurate theorem proving for program verification
Dahkki: Cook, B, et al.
Almmustuhtton: (2005)

Abstract: Experience with Practical Formal Verification at an Industrial Scale
Dahkki: Melham, T
Almmustuhtton: (2003)

Integrating Model Checking and Theorem Proving in a Reflective Functional Language
Dahkki: Melham, T
Almmustuhtton: (2004)

A Study Of User Activity In Interactive Theorem Proving
Dahkki: Aitken, S, et al.
Almmustuhtton: (1995)

Formal Analysis of Soft Errors using Theorem Proving
Dahkki: Sofiène Tahar, et al.
Almmustuhtton: (2013-07-01)

Interactive Theorem Proving: An Empirical Study of User Activity
Dahkki: Aitken, J, et al.
Almmustuhtton: (1998)

Formal reasoning about systems biology using theorem proving.
Dahkki: Adnan Rashid, et al.
Almmustuhtton: (2017-01-01)

ProoFVer: Natural Logic Theorem Proving for Fact Verification
Dahkki: Amrith Krishna, et al.
Almmustuhtton: (2022-01-01)

Hardware Verification by Formal Proof
Dahkki: Birtwistle, G, et al.
Almmustuhtton: (1988)

Hardware Verification by Formal Proof
Dahkki: Birtwistle, G, et al.
Almmustuhtton: (1988)

Formal Analysis of Language-Based Android Security Using Theorem Proving Approach
Dahkki: Wilayat Khan, et al.
Almmustuhtton: (2019-01-01)

Contextualizing formal verification for systems security engineering
Dahkki: Shaked, A, et al.
Almmustuhtton: (2024)

An AMBA−ARM7 Formal Verification Platform
Dahkki: Susanto, K, et al.
Almmustuhtton: (2003)

A formal CHERI-C semantics for verification
Dahkki: Park, SH, et al.
Almmustuhtton: (2023)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
Dahkki: Melham, T
Almmustuhtton: (1989)

Theorem proving [filem]
Almmustuhtton: (1969)

Theorem proving [kasetvideo]
Almmustuhtton: (1969)

A Methodology for Large−Scale Hardware Verification
Dahkki: Aagaard, M, et al.
Almmustuhtton: (2000)

Theorem proving with analytic tableaux and related methods /
Dahkki: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), et al.
Almmustuhtton: (1995)

Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems
Dahkki: Zheng Yang, et al.
Almmustuhtton: (2018-01-01)

System verification : proving the design solution satisfies the requirements /
Dahkki: 251885 Grady, Jeffrey O.
Almmustuhtton: (2007)

Elementary Geometry Theorem Proving
Dahkki: Goldstein, Ira
Almmustuhtton: (2004)

Playing with LEGO and proving theorems
Dahkki: Tanswell, FS
Almmustuhtton: (2017)

Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving
Dahkki: Adnan Rashid, et al.
Almmustuhtton: (2020-01-01)

Applications of real number theorem proving in PVS
Dahkki: Gottliebsen, H, et al.
Almmustuhtton: (2013)

Assume−Guarantee Validation for STE Properties within an SVA Environment
Dahkki: Khasidashvili, Z, et al.
Almmustuhtton: (2009)

Assume-guarantee validation for STE properties within an SVA environment
Dahkki: Khasidashvili, Z, et al.
Almmustuhtton: (2009)

Formal analysis of 2D image processing filters using higher-order logic theorem proving
Dahkki: Adnan Rashid, et al.
Almmustuhtton: (2022-06-01)