Refinement

Results: 838



#Item
31

MARCH 2010 WORKSHOP REPORT THE OPEN ANNOTATION COLLABORATION PHASE II: DEMONSTRATION & REFINEMENT Research grant provided by the Andrew W. Mellon Foundation Center for Informatics Research in Science and Scholarship

Add to Reading List

Source URL: openannotation.org

Language: English - Date: 2012-07-25 22:19:16
    32

    Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington

    Add to Reading List

    Source URL: locore.cs.washington.edu

    Language: English - Date: 2017-11-20 00:03:59
      33

      Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement⋆ Tachio Terauchi1 and Hiroshi Unno2 1 JAIST

      Add to Reading List

      Source URL: www.cs.tsukuba.ac.jp

      Language: English - Date: 2015-03-22 10:07:22
        34

        Refinement of Workload Models for Engine Controllers by State Space Partitioning Morteza Mohaqeqi1 , Jakaria Abdullah2 , Pontus Ekberg3 , and Wang Yi4 1 2

        Add to Reading List

        Source URL: user.it.uu.se

        Language: English - Date: 2017-12-22 09:48:23
          35

          LiquidHaskell: Experience with Refinement Types in the Real World Niki Vazou Eric L. Seidel

          Add to Reading List

          Source URL: goto.ucsd.edu

          Language: English - Date: 2014-06-25 23:52:36
            36

            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

            Add to Reading List

            Source URL: locore.cs.washington.edu

            Language: English - Date: 2016-10-05 18:29:44
              37

              Developing Security Protocols by Refinement Christoph Sprenger and David Basin Institute of Information Security, ETH Zurich {sprenger,basin}@inf.ethz.ch July 5, 2013

              Add to Reading List

              Source URL: people.inf.ethz.ch

              Language: English - Date: 2014-04-16 16:27:34
                38

                To appear in Formal Aspects of Computing Requirements, specifications and minimal refinement Nikos Gorogiannis† and Mark Ryan‡ †

                Add to Reading List

                Source URL: www.cs.bham.ac.uk.

                Language: English - Date: 2009-02-25 10:33:23
                  UPDATE