The following pages link to (Q4518894):
Displaying 7 items.
- Parameterized verification of monotone information systems (Q1798673) (← links)
- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique (Q2801764) (← links)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Q3003492) (← links)
- (Q4952308) (← links)
- Formal Methods in Computer-Aided Design (Q5492978) (← links)
- Program Development in Computational Logic (Q5712550) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)