swMATH20736MaRDI QIDQ32553FDOQ32553
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2818829
Cited In (17)
- CompoSAT: specification-guided coverage for model finding
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
- Evaluation diversity for graph conditions
- Alloy*: a general-purpose higher-order relational constraint solver
- Combining model finder and genetic programming into a general purpose automatic program synthesizer
- Special issue on syntax-guided synthesis preface
- HMC
- SageSAT
- Rosette
- margrave
- Bordeaux
- CD2Alloy
- cddiff
- CompoSAT
- VERMEER
- Whispec
- WhyLine
This page was built for software: Alloy*
