Refinement

Results: 838



#Item
21

Refinement Types for Ruby Milod Kazerounian1 , Niki Vazou1 , Austin Bourgerie1 , Jeffrey S. Foster1 , and Emina Torlak2 1 University of Maryland, College Park, USA

Add to Reading List

Source URL: nikivazou.github.io

Language: English - Date: 2018-04-16 22:20:31
    22

    Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

    Add to Reading List

    Source URL: www.sri.inf.ethz.ch

    Language: English - Date: 2018-05-15 09:28:46
      23

      Towards Refinement Types for Time-Dependent Data-Flow Networks

      Add to Reading List

      Source URL: feever.fr

      Language: English - Date: 2016-05-26 09:52:03
        24

        A Framework for the Automatic Formal Verification of Refinement from Cogent to C Christine Rizkallah4 , Japheth Lim1 , Yutaka Nagashima1 , Thomas Sewell1,2 , Zilin Chen1,2 , Liam O’Connor1,2 , Toby Murray1,3 , Gabriele

        Add to Reading List

        Source URL: itp2016.inria.fr

        Language: English - Date: 2016-08-30 03:42:26
          25

          Developing Security Protocols by Refinement Christoph Sprenger David Basin Dept. of Computer Science

          Add to Reading List

          Source URL: people.inf.ethz.ch

          Language: English - Date: 2014-04-16 16:25:47
            26

            Abstract Refinement Types Niki Vazou1 , Patrick M. Rondon2 , and Ranjit Jhala1 1 UC San Diego

            Add to Reading List

            Source URL: goto.ucsd.edu

            Language: English - Date: 2013-01-14 10:52:36
              27

              IEEE International Symposium on Policies for Distributed Systems and Networks (POLICYTool-Supported Refinement of HighLevel Requirements and Constraints into Low-Level Policies Outline:

              Add to Reading List

              Source URL: www.policy-workshop.org

              Language: English - Date: 2011-06-13 06:57:18
                28

                Materials for the Annual report of Department of IPP for the yearThe present Tariff Commission in India is the result of the refinement and amalgamation of the functions of its predecessor organizations namely,

                Add to Reading List

                Source URL: tc.nic.in

                Language: English - Date: 2014-01-28 06:34:08
                  29

                  Bounded Refinement Types Niki Vazou, Alexander Bakst, Ranjit Jhala (UC San Diego)

                  Add to Reading List

                  Source URL: goto.ucsd.edu

                  Language: English - Date: 2015-05-18 02:33:44
                    30

                    WCET Squeezing: On-demand Feasibility Refinement for Proven Precise WCET-bounds ∗ Jens Knoop

                    Add to Reading List

                    Source URL: www.cse.chalmers.se

                    Language: English - Date: 2013-12-12 08:27:54
                      UPDATE