Antonino, Pedro; Gibson-Robinson, Thomas; Roscoe, A. W. Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. (English) Zbl 1425.68285 Formal Asp. Comput. 31, No. 3, 375-409 (2019). MSC: 68Q85 68Q60 68T20 PDFBibTeX XMLCite \textit{P. Antonino} et al., Formal Asp. Comput. 31, No. 3, 375--409 (2019; Zbl 1425.68285) Full Text: DOI
Palikareva, Hristina; Ouaknine, Joël; Roscoe, A. W. SAT-solving in CSP trace refinement. (English) Zbl 1243.68216 Sci. Comput. Program. 77, No. 10-11, 1178-1197 (2012). MSC: 68Q60 68T20 68Q85 PDFBibTeX XMLCite \textit{H. Palikareva} et al., Sci. Comput. Program. 77, No. 10--11, 1178--1197 (2012; Zbl 1243.68216) Full Text: DOI