11![Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research](https://www.pdfsearch.io/img/eb4d34ffc61f33ccbc3a0cdde7dd663b.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2012-02-28 13:28:34
|
---|
12![A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave A Refinement Approach to Visualization* Allen Goldberg Rafael Furst Cordell Green Kestrel Institute 3260 Hillview Ave](https://www.pdfsearch.io/img/678e4b790b853c449e20d846a70f9ef3.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2011-11-14 19:41:32
|
---|
13![Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu](https://www.pdfsearch.io/img/a110f247bc20ac7bc41e6682e06f715b.jpg) | Add to Reading ListSource URL: rishabhmit.bitbucket.ioLanguage: English - Date: 2018-06-25 09:59:57
|
---|
14![Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington](https://www.pdfsearch.io/img/db644d008d53d6769a956ae129d87670.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-08-24 20:19:39
|
---|
15![Project: COMPASS Grant Agreement: Comprehensive Modelling for Advanced Systems of Systems SysML State Machines: a formal model for refinement Project: COMPASS Grant Agreement: Comprehensive Modelling for Advanced Systems of Systems SysML State Machines: a formal model for refinement](https://www.pdfsearch.io/img/e023fe992ae793793b9d53abe503bd56.jpg) | Add to Reading ListSource URL: www.compass-research.euLanguage: English - Date: 2013-08-30 10:23:40
|
---|
16![Regex-Based Linkography Abstraction Refinement Abhiram Kothapalli (UIUC) Robert Mitchell (Virginia Tech)
Linkograph: Cause and Effect Graph Regex-Based Linkography Abstraction Refinement Abhiram Kothapalli (UIUC) Robert Mitchell (Virginia Tech)
Linkograph: Cause and Effect Graph](https://www.pdfsearch.io/img/cdeea8e605be4099a16d182a1982bee7.jpg) | Add to Reading ListSource URL: abhiram.meLanguage: English - Date: 2018-08-09 23:54:44
|
---|
17![Darby Sans Poster High-contrast sans serifs offer a sort of beauty and refinement we more typically associate with serif letters that connote luxury and elegance. Darby Sans Poster mixes the traditional genre of Darby Sans Poster High-contrast sans serifs offer a sort of beauty and refinement we more typically associate with serif letters that connote luxury and elegance. Darby Sans Poster mixes the traditional genre of](https://www.pdfsearch.io/img/6e7a3aa123f033e37e30973ece500dbc.jpg) | Add to Reading ListSource URL: commercialtype.comLanguage: English - Date: 2015-06-05 22:49:42
|
---|
18![Abstract Refinement Types Niki Vazou1, Patrick M. Rondon2, and Ranjit Jhala1 1UC San Diego 2Google 1 Abstract Refinement Types Niki Vazou1, Patrick M. Rondon2, and Ranjit Jhala1 1UC San Diego 2Google 1](https://www.pdfsearch.io/img/4145cfa4bf948ac605ef347457abd637.jpg) | Add to Reading ListSource URL: goto.ucsd.edu- Date: 2013-03-20 12:23:05
|
---|
19![This paper is published in Real-Time Systems. The final publication is available at http://link.springer.com. Combinatorial Abstraction Refinement for Feasibility Analysis of Static Priorities Martin Stigge · Wang Yi This paper is published in Real-Time Systems. The final publication is available at http://link.springer.com. Combinatorial Abstraction Refinement for Feasibility Analysis of Static Priorities Martin Stigge · Wang Yi](https://www.pdfsearch.io/img/c5d24d62b1756e8f03e41a849261e5b2.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2015-04-24 08:32:12
|
---|
20![Correct by Construction Networks Using Stepwise Refinement Leonid Ryzhyk, VMware Research; Nikolaj Bjørner, Microsoft Research; Marco Canini, King Abdullah University of Science and Technology (KAUST ); Jean-Baptiste Je Correct by Construction Networks Using Stepwise Refinement Leonid Ryzhyk, VMware Research; Nikolaj Bjørner, Microsoft Research; Marco Canini, King Abdullah University of Science and Technology (KAUST ); Jean-Baptiste Je](https://www.pdfsearch.io/img/4d75f568456eb502113889ac4b6d3967.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English |
---|