Pages that link to "Item:Q435977"
From MaRDI portal
The following pages link to Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977):
Displaying 5 items.
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Extending abstract acceleration methods to data-flow programs with numerical inputs (Q2814110) (← links)
- Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction (Q2949697) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308435) (← links)