51![Learning gem5 – Part IV gem5 execution model, ISAs, and CPUs Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/ Learning gem5 – Part IV gem5 execution model, ISAs, and CPUs Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/](https://www.pdfsearch.io/img/7278492c011ba2f22a54e2538bfdf081.jpg) | Add to Reading ListSource URL: learning.gem5.orgLanguage: English - Date: 2018-09-17 11:50:25
|
---|
52![Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract](https://www.pdfsearch.io/img/ac3ea24131aaf898c552337d330e7785.jpg) | Add to Reading ListSource URL: smt-workshop.cs.uiowa.eduLanguage: English - Date: 2017-09-02 14:08:49
|
---|
53![Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam Rinetzky Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam Rinetzky](https://www.pdfsearch.io/img/b8656ebbe421c3452aef6d83bb98505a.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
54![A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg](https://www.pdfsearch.io/img/89e01176fdec72972a309dbf4433bce0.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:43:20
|
---|
55![Google Pixelbook Product environmental report Model C0A, introduced October 4, 2017
Environmental Google Pixelbook Product environmental report Model C0A, introduced October 4, 2017
Environmental](https://www.pdfsearch.io/img/9165e07749bd82add021e0fdf6527251.jpg) | Add to Reading ListSource URL: storage.googleapis.comLanguage: English - Date: 2018-09-04 14:49:57
|
---|
56![A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017 A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017](https://www.pdfsearch.io/img/7853b4371509f54b4e3eed9f7aa1f9a8.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
57![Probabilistic Model for Code with Decision Trees Veselin Raychev Pavol Bielik Martin Vechev Probabilistic Model for Code with Decision Trees Veselin Raychev Pavol Bielik Martin Vechev](https://www.pdfsearch.io/img/eadfa26cf45059ddaf326194b636df9d.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:56:01
|
---|
58![PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta. PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta.](https://www.pdfsearch.io/img/a5a8c7fca9927c9bba267e93ad47de41.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-12-15 10:57:28
|
---|
59![Advances and Challenges of Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker Computing Laboratory Department of Computing Science Advances and Challenges of Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker Computing Laboratory Department of Computing Science](https://www.pdfsearch.io/img/ff00dc9b3081cd487cf0bcdccbf0f731.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2011-12-22 18:19:34
|
---|
60![The Design and Implementation of the Model Constructing Satisfiability Calculus Dejan Jovanovi´c Clark Barrett The Design and Implementation of the Model Constructing Satisfiability Calculus Dejan Jovanovi´c Clark Barrett](https://www.pdfsearch.io/img/6e68a4d708e863312688e3d77fc69ce3.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 12:47:14
|
---|