TRANSIT
From MaRDI portal
swMATH28674MaRDI QIDQ40388FDOQ40388
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=2462174
Cited In (20)
- Counterexample-guided quantifier instantiation for synthesis in SMT
- A theory of formal synthesis via inductive learning
- CVC4SY
- Refutation-based synthesis in SMT
- OPTGEN
- RobustFill
- Satisfiability and synthesis modulo oracles
- Leon
- FlashRelate
- CodeHint
- SyPet
- FlashExtract
- Qlose
- BlinkFill
- FlashMeta
- Syntax-guided rewrite rule enumeration for SMT solvers
- Theory exploration powered by deductive synthesis
- Nunchaku
- Programming by predicates: a formal model for interactive synthesis
- Counterexample-Guided Model Synthesis
This page was built for software: TRANSIT
