11![Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1 Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1](https://www.pdfsearch.io/img/e99358932f209558a8a643d900acea27.jpg) | Add to Reading ListSource URL: correctness-workshop.github.ioLanguage: English - Date: 2017-11-14 22:52:13
|
---|
12![Plasma
1. What’s wrong? 2. What’s happening now? 3. Plasmafication! Plasma
1. What’s wrong? 2. What’s happening now? 3. Plasmafication!](https://www.pdfsearch.io/img/471ac0538474c1ed4ffbb05345bc1f5a.jpg) | Add to Reading ListSource URL: edcon.io- Date: 2018-10-16 07:02:08
|
---|
13![Docker Certification Program Agreement Last updated: August 16, 2017 This Docker Certification Program Agreement (this “Agreement”) contains the terms and conditions that govern your participation in the Docker Certi Docker Certification Program Agreement Last updated: August 16, 2017 This Docker Certification Program Agreement (this “Agreement”) contains the terms and conditions that govern your participation in the Docker Certi](https://www.pdfsearch.io/img/35dadee9a164b0380124705b994703d4.jpg) | Add to Reading ListSource URL: docker.cdn.prismic.ioLanguage: English - Date: 2018-03-14 15:37:29
|
---|
14![http://kadena.io
http://kadena.io](https://www.pdfsearch.io/img/c29c2e14a449eb81c3d1e142576429e9.jpg) | Add to Reading ListSource URL: kadena.ioLanguage: English - Date: 2018-05-11 18:40:04
|
---|
15![LeakChecker: Practical Static Memory Leak Detection for Managed Languages Dacong Yan Guoqing Xu LeakChecker: Practical Static Memory Leak Detection for Managed Languages Dacong Yan Guoqing Xu](https://www.pdfsearch.io/img/a7953cb2149fb4743f843c8174ee5d82.jpg) | Add to Reading ListSource URL: dacongy.github.ioLanguage: English - Date: 2017-06-27 01:04:15
|
---|
16![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
|
---|
17![Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie](https://www.pdfsearch.io/img/8cc76216db056f74ec7f3237076326de.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
18![Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy, Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy,](https://www.pdfsearch.io/img/464ff3834ed03d4047d72f9480b4f9af.jpg) | Add to Reading ListSource URL: kadena.ioLanguage: English - Date: 2018-05-11 18:40:04
|
---|
19![Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette](https://www.pdfsearch.io/img/0e010aaf9f0f1e90685467c18f6012cc.jpg) | Add to Reading ListSource URL: pxtp.github.ioLanguage: English - Date: 2017-09-19 19:50:55
|
---|
20![National Center for Atmospheric Research Quality Assurance and Error Identification for the Community Earth System Model Allison Baker National Center for Atmospheric Research Quality Assurance and Error Identification for the Community Earth System Model Allison Baker](https://www.pdfsearch.io/img/dc94c774ad02ccbcaf45fe5d90a52c1b.jpg) | Add to Reading ListSource URL: correctness-workshop.github.ioLanguage: English - Date: 2017-11-14 22:52:13
|
---|