The following pages link to Emanuele De Angelis (Q1664381):
Displaying 24 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)
- Solving Horn Clauses on Inductive Data Types Without Induction (Q4559806) (← links)
- Program Verification using Constraint Handling Rules and Array Constraint Generalizations* (Q4589602) (← links)
- Proving correctness of imperative programs by linearizing constrained Horn clauses (Q4593003) (← links)
- Predicate Pairing for program verification (Q4644353) (← links)
- Synthesizing Concurrent Programs Using Answer Set Programming (Q4902316) (← links)
- Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM (Q4957191) (← links)
- (Q4994693) (← links)
- (Q4997232) (← links)
- (Q5015370) (← links)
- (Q5016384) (← links)
- (Q5020652) (← links)
- Verifying Catamorphism-Based Contracts using Constrained Horn Clauses (Q5038461) (← links)
- Semantics and Controllability of Time-Aware Business Processes* (Q5377319) (← 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)