Pages that link to "Item:Q5897074"
From MaRDI portal
The following pages link to Correct Hardware Design and Verification Methods (Q5897074):
Displaying 8 items.
- A framework for verifying bit-level pipelined machines based on automated deduction and decision procedures (Q877828) (← links)
- A mechanical analysis of program verification strategies (Q928673) (← links)
- Operational semantics and generalized weakest preconditions (Q1330453) (← links)
- Reasoning about iteration and recursion uniformly based on big-step semantics (Q2154025) (← links)
- A program logic for resources (Q2463560) (← links)
- Transforming Programs into Recursive Functions (Q5179363) (← links)
- Well-definedness and observational equivalence for inductive–coinductive programs (Q5225850) (← links)
- Formal Methods in Computer-Aided Design (Q5492967) (← links)