Suite Cooksey-Batty-Grigore-Janota
| Download(0 Kb) | |||
| Submitter: | Mikolas Janota | ||
| Description: | Usage of QBF Solvers to solve questions about weak memory model behaviours. The authors encode memory models into a second order logic, that we then build into queries by instantiating structures corresponding to input programs and queries. Instances in QCIR format. | ||
| Number of families: | 1 | ||
| Families: | |||
| Results: | |||