The following pages link to Maximal specification synthesis (Q2828322):
Displaying 10 items.
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Scalable algorithms for abduction via enumerative syntax-guided synthesis (Q2096443) (← links)
- Unbounded procedure summaries from bounded environments (Q2234080) (← links)
- Structural Synthesis for GXW Specifications (Q4633528) (← links)
- Assume, Guarantee or Repair (Q5039510) (← links)
- A weakness measure for GR(1) formulae (Q5918136) (← links)
- A weakness measure for GR(1) formulae (Q5918262) (← links)
- Automated program repair using formal verification techniques (Q6113992) (← links)
- Principles of staged static+dynamic partial analysis (Q6164422) (← links)
- When are software verification results valid for approximate hardware? (Q6536166) (← links)