TRANSIT
From MaRDI portal
Cited in
(20)- Nunchaku
- A theory of formal synthesis via inductive learning
- Counterexample-guided quantifier instantiation for synthesis in SMT
- Leon
- Satisfiability and synthesis modulo oracles
- Syntax-guided rewrite rule enumeration for SMT solvers
- Refutation-based synthesis in SMT
- Programming by predicates: a formal model for interactive synthesis
- Counterexample-Guided Model Synthesis
- FlashRelate
- SyPet
- CodeHint
- FlashExtract
- Qlose
- FlashMeta
- BlinkFill
- CVC4SY
- OPTGEN
- RobustFill
- Theory exploration powered by deductive synthesis
This page was built for software: TRANSIT
