The following pages link to Francesco Tapparo (Q924725):
Displaying 12 items.
- Generalizing the Paige-Tarjan algorithm by abstract interpretation (Q924726) (← links)
- An efficient simulation algorithm based on abstract interpretation (Q1049401) (← links)
- Saving Space in a Time Efficient Simulation Algorithm (Q2895774) (← links)
- Computing Stuttering Simulations (Q3184698) (← links)
- Generalized Strong Preservation by Abstract Interpretation (Q3437262) (← links)
- Symbolic Fault Tree Analysis for Reactive Systems (Q3510794) (← links)
- (Q4411975) (← links)
- Programming Languages and Systems (Q5308686) (← links)
- A Forward-Backward Abstraction Refinement Algorithm (Q5452721) (← links)
- Programming Languages and Systems (Q5493375) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703755) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898627) (← links)
