1![Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3 Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3](https://www.pdfsearch.io/img/02e0864d490b9b2e71d448da9087832a.jpg) | Add to Reading ListSource URL: repository.ist.ac.atLanguage: English - Date: 2018-02-08 07:01:31
|
---|
2![What is iterative refinement How to use iterative refinement to verify a computed result? Influence of the computing precision Conclusion and future work Iterative refinement: What is iterative refinement How to use iterative refinement to verify a computed result? Influence of the computing precision Conclusion and future work Iterative refinement:](https://www.pdfsearch.io/img/a8a2e2dd47939bb3c9547226b34c1e9f.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:16
|
---|
3![Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1 Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1](https://www.pdfsearch.io/img/b46f3ece91884a176d041a30f6c7a01e.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 20:27:15
|
---|
4![Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog](https://www.pdfsearch.io/img/abee46186a84a424bf790b8f8bd73d4b.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-10-24 07:08:14
|
---|
5![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/197c243d6020d874afe8f801b25550d4.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-08 19:10:59
|
---|
6![Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute](https://www.pdfsearch.io/img/83214a688d109a4bbef9b0b187b989ba.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:52:45
|
---|
7![Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether](https://www.pdfsearch.io/img/0d7e45124fa8d6fc290b4346b9a5482c.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-08-21 17:45:06
|
---|
8![Form Methods Syst Des: 246–280 DOIs10703A Game-based Abstraction-Refinement Framework for Markov Decision Processes Mark Kattenbelt · Marta Kwiatkowska · Gethin Form Methods Syst Des: 246–280 DOIs10703A Game-based Abstraction-Refinement Framework for Markov Decision Processes Mark Kattenbelt · Marta Kwiatkowska · Gethin](https://www.pdfsearch.io/img/7e38e6d83322364e5a868d3fed2a6672.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2011-12-04 14:59:08
|
---|
9![Modular Refinement for Submachines of ASMs ? Gidon Ernst, J¨ org Pf¨ Modular Refinement for Submachines of ASMs ? Gidon Ernst, J¨ org Pf¨](https://www.pdfsearch.io/img/3a8df9e6ffd14c9c0d1157303b784dfa.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:47:24
|
---|
10![Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich](https://www.pdfsearch.io/img/4553376291bef372cca63de4631f2d47.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|