Checking

Results: 4283



#Item
151Model Checking DSL-Generated C Source Code Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de Abstract. We report on the application of SPIN for model-che

Model Checking DSL-Generated C Source Code Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de Abstract. We report on the application of SPIN for model-che

Add to Reading List

Source URL: www.home.hs-karlsruhe.de

- Date: 2013-03-29 18:25:55
    152Model-checking Erlang A Comparison between EtomCRL2 and McErlang Qiang Guo, John Derrick Clara Benac Earle and Lars-˚ Ake Fredlund

    Model-checking Erlang A Comparison between EtomCRL2 and McErlang Qiang Guo, John Derrick Clara Benac Earle and Lars-˚ Ake Fredlund

    Add to Reading List

    Source URL: www2010.taicpart.org

    - Date: 2010-09-04 10:20:57
      153Attached are your wedding stationery pdf ’s for checking. You have up to 2 amendments at this stage. If possible, its always a good idea to print off the pdf ’s at home/work. Here is our proof checklist for reference

      Attached are your wedding stationery pdf ’s for checking. You have up to 2 amendments at this stage. If possible, its always a good idea to print off the pdf ’s at home/work. Here is our proof checklist for reference

      Add to Reading List

      Source URL: emilyandjo.co.uk

      - Date: 2017-10-25 09:41:18
        154SMT-Based Checking of Predicate-Qualified Types for Scala Georg Stefan Schmid Viktor Kuncak EPFL, Switzerland

        SMT-Based Checking of Predicate-Qualified Types for Scala Georg Stefan Schmid Viktor Kuncak EPFL, Switzerland

        Add to Reading List

        Source URL: lara.epfl.ch

        - Date: 2016-10-16 16:44:37
          155CHECKING THE ACCURACY OF MODELS OF GRAVITATIONAL WAVES FOR THE FIRST MEASUREMENT OF A BLACK HOLE MERGER On September 14, 2015, the LIGO and Virgo Scientific Collaborations detected for the first time gravitational waves

          CHECKING THE ACCURACY OF MODELS OF GRAVITATIONAL WAVES FOR THE FIRST MEASUREMENT OF A BLACK HOLE MERGER On September 14, 2015, the LIGO and Virgo Scientific Collaborations detected for the first time gravitational waves

          Add to Reading List

          Source URL: www.ligo.org

          - Date: 2017-05-08 17:16:24
            156Combining Static and Dynamic Contract Checking for Curry Michael Hanus University of Kiel Programming Languages and Compiler Construction

            Combining Static and Dynamic Contract Checking for Curry Michael Hanus University of Kiel Programming Languages and Compiler Construction

            Add to Reading List

            Source URL: www.sci.unich.it

            - Date: 2017-10-23 05:14:50
              157Progress on Algorithms for Stateless Model Checking (Invited Talk) Kostis Sagonas Uppsala University, Sweden

              Progress on Algorithms for Stateless Model Checking (Invited Talk) Kostis Sagonas Uppsala University, Sweden

              Add to Reading List

              Source URL: refal.botik.ru

              - Date: 2018-03-21 12:44:11
                158Hybrid Type Checking KENNETH KNOWLES CORMAC FLANAGAN University of California at Santa Cruz Traditional static type systems are effective for verifying basic interface specifications. Dynamicallychecked contracts suppor

                Hybrid Type Checking KENNETH KNOWLES CORMAC FLANAGAN University of California at Santa Cruz Traditional static type systems are effective for verifying basic interface specifications. Dynamicallychecked contracts suppor

                Add to Reading List

                Source URL: kennknowles.com

                - Date: 2014-03-19 14:17:46
                  159MemSAT: Checking Axiomatic Specifications of Memory Models Emina Torlak Mandana Vaziri

                  MemSAT: Checking Axiomatic Specifications of Memory Models Emina Torlak Mandana Vaziri

                  Add to Reading List

                  Source URL: homes.cs.washington.edu

                  - Date: 2017-06-23 18:20:16
                    160Mixing Type Checking and Symbolic Execution Khoo Yit Phang Bor-Yuh Evan Chang Jeffrey S. Foster

                    Mixing Type Checking and Symbolic Execution Khoo Yit Phang Bor-Yuh Evan Chang Jeffrey S. Foster

                    Add to Reading List

                    Source URL: www.cs.colorado.edu

                    - Date: 2017-05-01 12:25:34