The following pages link to Emanuele De Angelis (Q1664381):
Displaying 11 items.
- Relational verification through Horn clause transformation (Q1664383) (← links)
- Predicate pairing with abstraction for relational verification (Q1671163) (← links)
- Removing algebraic data types from constrained Horn clauses using difference predicates (Q2096439) (← links)
- Verification of time-aware business processes using constrained Horn clauses (Q2409725) (← links)
- Specialization with Constrained Generalization for Software Model Checking (Q2848896) (← links)
- Verifying Array Programs by Transforming Verification Conditions (Q2938066) (← links)
- A Rule-based Verification Strategy for Array Manipulating Programs (Q3187012) (← links)
- (Q3384903) (← links)
- Software Model Checking by Program Specialization (Q5398085) (← links)
- Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach (Q5862477) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
