The following pages link to Computer Aided Verification (Q5716562):
Displaying 18 items.
- MR4UM: a framework for adding fault tolerance to UML state diagrams (Q391245) (← links)
- Finding and fixing faults (Q414907) (← links)
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Visibly pushdown modular games (Q515657) (← links)
- Program repair without regret (Q746769) (← links)
- Program synthesis for interactive-security systems (Q1696589) (← links)
- Automation of fault-tolerant graceful degradation (Q1733388) (← links)
- Strategy construction for parity games with imperfect information (Q1959483) (← links)
- Two AGM-style characterizations of model repair (Q2294584) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)
- Parameterized Weighted Containment (Q2946752) (← links)
- Specification-Based Program Repair Using SAT (Q3000646) (← links)
- Model Repair for Probabilistic Systems (Q3000664) (← links)
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice (Q3075475) (← links)
- Program Repair for Hyperproperties (Q3297603) (← links)
- Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation (Q3303900) (← links)
- Towards Parallel Boolean Functional Synthesis (Q3303903) (← links)
- Inferring Synchronization under Limited Observability (Q3617756) (← links)
