1![Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University](https://www.pdfsearch.io/img/0207377f28fc6004e61e7f05472ba668.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: English - Date: 2018-10-19 18:15:18
|
---|
2![IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce](https://www.pdfsearch.io/img/da44ee26ae1e16c6b5630678ab6005af.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:27:55
|
---|
3![Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad](https://www.pdfsearch.io/img/8026aa97e255d1bbd3ec1b1bf96b281a.jpg) | Add to Reading ListSource URL: ce.sharif.eduLanguage: English - Date: 2018-07-11 05:37:17
|
---|
4![Improving the Adoption of Software Engineering Practices Through Persuasive Interventions Von der Fakultät für Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universität Hannover zur Erlangung des Grades Improving the Adoption of Software Engineering Practices Through Persuasive Interventions Von der Fakultät für Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universität Hannover zur Erlangung des Grades](https://www.pdfsearch.io/img/5d8cc864d0c43fde5bff4fcbbeafa39b.jpg) | Add to Reading ListSource URL: etc.leif.meLanguage: English - Date: 2013-02-20 04:41:26
|
---|
5![Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering](https://www.pdfsearch.io/img/0112752db4209f5a7d4a09c44ef21a3d.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
6![Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org](https://www.pdfsearch.io/img/9dba4a55cb9dd8c29ef446831eef50c4.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: English - Date: 2018-10-19 18:15:18
|
---|
7![BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011 BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011](https://www.pdfsearch.io/img/ce60b8ac07d777861cb478cdd339869b.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: English - Date: 2018-10-19 18:15:18
|
---|
8![RAIDq: A software-friendly, multiple-parity RAID Ming-Shing Chen† , Bo-Yin Yang‡ , and Chen-Mou Cheng†‡ † Department of Electrical Engineering, National Taiwan University, Taiwan ‡ Research Center for Informa RAIDq: A software-friendly, multiple-parity RAID Ming-Shing Chen† , Bo-Yin Yang‡ , and Chen-Mou Cheng†‡ † Department of Electrical Engineering, National Taiwan University, Taiwan ‡ Research Center for Informa](https://www.pdfsearch.io/img/acf552fc4fcf39a13ace26233876115c.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2013-05-26 08:06:24
|
---|
9![Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University](https://www.pdfsearch.io/img/6af8974aa99ed4840006a1f738946667.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: English - Date: 2018-10-19 18:15:18
|
---|
10![IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus](https://www.pdfsearch.io/img/01e3a1fbda354029264d78f5c3fc88da.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-08-28 05:24:01
|
---|