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

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

Show other versions (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...

書目詳細資料
Main Authors:	O'Leary, J, Kaivola, R, Melham, T
格式:	Conference item
出版:	2013

相似書籍

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

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

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

Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
由: Aagaard, M, et al.
出版: (1999)

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

Practical Formal Verification in Microprocessor Design
由: Jones, R, et al.
出版: (2015)

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

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

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

Accurate Theorem Proving for Program Verification
由: Cook, B, et al.
出版: (2006)

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

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

Cogent: Accurate theorem proving for program verification
由: Cook, B, et al.
出版: (2005)

Abstract: Experience with Practical Formal Verification at an Industrial Scale
由: Melham, T
出版: (2003)

Integrating Model Checking and Theorem Proving in a Reflective Functional Language
由: Melham, T
出版: (2004)

A Study Of User Activity In Interactive Theorem Proving
由: Aitken, S, et al.
出版: (1995)

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

Interactive Theorem Proving: An Empirical Study of User Activity
由: Aitken, J, et al.
出版: (1998)

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

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

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

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

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

Contextualizing formal verification for systems security engineering
由: Shaked, A, et al.
出版: (2024)

An AMBA−ARM7 Formal Verification Platform
由: Susanto, K, et al.
出版: (2003)

A formal CHERI-C semantics for verification
由: Park, SH, et al.
出版: (2023)

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

Theorem proving [filem]
出版: (1969)

Theorem proving [kasetvideo]
出版: (1969)

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

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

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

System verification : proving the design solution satisfies the requirements /
由: 251885 Grady, Jeffrey O.
出版: (2007)

Elementary Geometry Theorem Proving
由: Goldstein, Ira
出版: (2004)

Playing with LEGO and proving theorems
由: Tanswell, FS
出版: (2017)

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

Applications of real number theorem proving in PVS
由: Gottliebsen, H, et al.
出版: (2013)

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

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

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