Pages that link to "Item:Q1424999"
From MaRDI portal
The following pages link to Dynamic partitioning in linear relation analysis: application to the verification of reactive systems (Q1424999):
Displaying 12 items.
- Causality problem in real-time calculus (Q346787) (← links)
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- Decentralized control of infinite systems (Q645050) (← links)
- Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
- Out of control: reducing probabilistic models by control-state elimination (Q2152665) (← links)
- Extending abstract acceleration methods to data-flow programs with numerical inputs (Q2814110) (← links)
- Model-Based Test Selection for Infinite-State Reactive Systems (Q3525109) (← links)
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting (Q5039530) (← links)
- Symbolic Model-based Test Selection (Q5179362) (← links)
- Formal Methods in Computer-Aided Design (Q5492995) (← links)
- Verifying numerical programs via iterative abstract testing (Q6536291) (← links)
