Pages that link to "Item:Q1122998"
From MaRDI portal
The following pages link to The notion of proof in hardware verification (Q1122998):
Displayed 5 items.
- Symbolic constraint handling through unification in finite algebras (Q757060) (← links)
- Deriving correctness properties of compiled code (Q1309251) (← links)
- Structuring and automating hardware proofs in a higher-order theorem- proving environment (Q1801500) (← links)
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (Q2655321) (← links)
- Towards the animation of proofs -- testing proofs by examples (Q5958295) (← links)