The following pages link to (Q4364538):
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)
- Formal verification of a partial-order reduction technique for model checking (Q1961915) (← links)
- Verification of AMBA using a combination of model checking and theorem proving (Q2863854) (← links)
- A Machine Checked Soundness Proof for an Intermediate Verification Language (Q3599104) (← links)
- Machine Checking Proof Theory: An Application of Logic to Logic (Q3601798) (← links)
- (Q4518869) (← links)
- Automated Technology for Verification and Analysis (Q5394170) (← links)
