Pages that link to "Item:Q1685776"
From MaRDI portal
The following pages link to Refinement of trace abstraction for real-time programs (Q1685776):
Displaying 5 items.
- Stubborn versus structural reductions for Petri nets (Q1633343) (← links)
- A global constraint for over-approximation of real-time streams (Q1699526) (← links)
- Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* (Q4989166) (← links)
- Transformation-Enabled Precondition Inference (Q6063861) (← links)
- Property directed reachability for generalized Petri nets (Q6535575) (← links)