![Model checking / First-order logic / Mathematical logic / Logic in computer science / Formal methods / Theory of computation Model checking / First-order logic / Mathematical logic / Logic in computer science / Formal methods / Theory of computation](https://www.pdfsearch.io/img/499ae4b94400b18783a9298ba66e2233.jpg) Date: 2015-09-02 07:29:35Model checking First-order logic Mathematical logic Logic in computer science Formal methods Theory of computation | | First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UKAdd to Reading ListSource URL: www.ai4fm.orgDownload Document from Source Website File Size: 377,76 KBShare Document on Facebook
|