The following pages link to Maximal specification synthesis (Q2828322):
Displaying 7 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)
- Assume, Guarantee or Repair (Q5039510) (← links)
- A weakness measure for GR(1) formulae (Q5918136) (← links)
- A weakness measure for GR(1) formulae (Q5918262) (← links)
- When are software verification results valid for approximate hardware? (Q6536166) (← links)
