The following pages link to (Q2769580):
Displaying 11 items.
- Verification by augmented finitary abstraction (Q1854391) (← links)
- (Q2754095) (← links)
- Predicate abstraction for dense real-time systems (Q2842588) (← links)
- Incremental Abstract Interpretation (Q3297840) (← links)
- Refinement of Trace Abstraction (Q3392921) (← links)
- Compositional Verification for Component-Based Systems and Application (Q3540064) (← links)
- Reuse in Software Verification by Abstract Method Calls (Q4928448) (← links)
- Verification: Theory and Practice (Q5305639) (← links)
- Structural Abstraction of Software Verification Conditions (Q5429330) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900551) (← links)
- Verification by augmented abstraction: The automata-theoretic view (Q5946060) (← links)