TRANSIT
From MaRDI portal
Software:40388
No author found.
Related Items (8)
Theory exploration powered by deductive synthesis ⋮ Satisfiability and synthesis modulo oracles ⋮ A theory of formal synthesis via inductive learning ⋮ Syntax-guided rewrite rule enumeration for SMT solvers ⋮ Counterexample-guided quantifier instantiation for synthesis in SMT ⋮ Counterexample-Guided Model Synthesis ⋮ Refutation-based synthesis in SMT ⋮ Programming by predicates: a formal model for interactive synthesis
This page was built for software: TRANSIT