Pages that link to "Item:Q5897076"
From MaRDI portal
The following pages link to Correct Hardware Design and Verification Methods (Q5897076):
Displaying 6 items.
- The reflective Milawa theorem prover is sound (down to the machine code that runs it) (Q286790) (← links)
- A heuristic prover for real inequalities (Q287379) (← links)
- Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic (Q2058375) (← links)
- Formalization of Bernstein polynomials and applications to global optimization (Q2351165) (← links)
- Theory extension in ACL2(r) (Q2642461) (← links)
- Real World Verification (Q5191121) (← links)