Pages that link to "Item:Q4371519"
From MaRDI portal
The following pages link to Automated proofs of object code for a widely used microprocessor (Q4371519):
Displaying 6 items.
- Function extraction (Q436372) (← links)
- A mechanical analysis of program verification strategies (Q928673) (← links)
- Mechanical certification of systolic algorithms (Q1123588) (← links)
- Parameterized synthesis for fragments of first-order logic over data words (Q2200816) (← links)
- Hardware-Dependent Proofs of Numerical Programs (Q3100216) (← links)
- Highly Automated Formal Proofs over Memory Usage of Assembly Code (Q5164171) (← links)
