The following pages link to Abstract Model Repair (Q3196342):
Displaying 8 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Abstract model repair for probabilistic systems (Q1706149) (← links)
- A refinement repair algorithm based on refinement game for KMTS models (Q1784789) (← links)
- Automatic addition of conflicting properties (Q2007913) (← links)
- Two AGM-style characterizations of model repair (Q2294584) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)
- The Complexity of Linear-Time Temporal Logic Model Repair (Q5056073) (← links)
- Change-Preserving Model Repair (Q5215912) (← links)