scientific article; zbMATH DE number 3991418
From MaRDI portal
Publication:3753927
Recommendations
- Higher Order Logic and Hardware Verification
- scientific article; zbMATH DE number 3991419
- scientific article; zbMATH DE number 2079039
- Higher Order Logic and Hardware Verification
- Structuring and automating hardware proofs in a higher-order theorem- proving environment
- Algebra and Coalgebra in Computer Science
- scientific article; zbMATH DE number 1330907
Cited in
(26)- Automatic verification of a class of systolic circuits
- Universal algebra in higher types
- Logic, sets, and mathematics
- Set theory for verification. I: From foundations to functions
- Rule-based induction
- Accelerating tableaux proofs using compact representations
- Structuring and automating hardware proofs in a higher-order theorem- proving environment
- Indentification of inductive properties during verification of synchronous sequential circuits
- From LCF to Isabelle/HOL
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon
- The use of B to specify, design and verify hardware
- Coquet: a Coq library for verifying hardware
- scientific article; zbMATH DE number 3991419 (Why is no real title available?)
- Computational logic: its origins and applications
- Higher-order equational logic for specification, simulation and testing
- Abstraction of hardware construction
- Circuits as streams in Coq: verification of a sequential multiplier
- scientific article; zbMATH DE number 1863386 (Why is no real title available?)
- ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT
- Proving and rewriting
- Verification of asynchronous circuits by BDD-based model checking of Petri nets
- A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL
- Higher Order Logic and Hardware Verification
- A formalised theorem in the partition calculus
- A two-level formal verification methodology using HOL and COSMOS
- Comparing generic state machines
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3753927)
