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