The following pages link to InVeSt (Q23968):
Displaying 10 items.
- Automatic verification of reduction techniques in higher order logic (Q469363) (← links)
- Using forward reachability analysis for verification of lossy channel systems (Q1878928) (← links)
- (Q2729081) (← links)
- Compositional Verification for Component-Based Systems and Application (Q3540064) (← links)
- (Q4427892) (← links)
- (Q4551165) (← links)
- (Q4806209) (← links)
- (Q4817540) (← links)
- Verification: Theory and Practice (Q5305639) (← links)
- Algebraic Methodology and Software Technology (Q5312973) (← links)