Checking

Results: 4283



#Item
221Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe

Challenges in Model Checking of Fault-tolerant Designs in TLA+ Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Abstract. Although, historically, fault tolerance is connected to safe

Add to Reading List

Source URL: multicore.doc.ic.ac.uk

- Date: 2015-06-04 05:51:35
    222SC2 : Satisfiability Checking meets Symbolic Computation: www.sc-square.org James Davenport Hebron & Medlock Professor of Information Technology1 University of Bath (U.K.)

    SC2 : Satisfiability Checking meets Symbolic Computation: www.sc-square.org James Davenport Hebron & Medlock Professor of Information Technology1 University of Bath (U.K.)

    Add to Reading List

    Source URL: staff.bath.ac.uk

    - Date: 2016-08-04 10:46:26
      223Course: Introduction to XQuery and Static Type-Checking Pierre Genevès CNRS (Some examples are inspired from the XQuery tutorial by Peter Fankhauser and Philip Wadler, the slides by Rajshekhar

      Course: Introduction to XQuery and Static Type-Checking Pierre Genevès CNRS (Some examples are inspired from the XQuery tutorial by Peter Fankhauser and Philip Wadler, the slides by Rajshekhar

      Add to Reading List

      Source URL: tyrex.inria.fr

      - Date: 2016-12-02 11:20:26
        224Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper

        Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper

        Add to Reading List

        Source URL: ceur-ws.org

        - Date: 2016-10-03 06:41:06
          225QMC 2010 Quantitative Model Checking PhD School Copenhagen, Denmark 2-5 March 2010

          QMC 2010 Quantitative Model Checking PhD School Copenhagen, Denmark 2-5 March 2010

          Add to Reading List

          Source URL: qmc.cs.aau.dk

          - Date: 2011-10-28 09:59:01
            226Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole

            Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole

            Add to Reading List

            Source URL: www.lix.polytechnique.fr

            - Date: 2013-05-22 23:44:30
              227The problem Memoization Era checking

              The problem Memoization Era checking

              Add to Reading List

              Source URL: www.ioc.ee

              - Date: 2012-04-24 14:50:17
                228Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability Sagar Chaki, SEI/CMU

                Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability Sagar Chaki, SEI/CMU

                Add to Reading List

                Source URL: mys5.org

                - Date: 2016-07-21 00:38:00
                  229Party Smart with the Sauce Spend some time checking out these resources, links, and apps to: • Drink more safely • Learn more about how alcohol affects our brains and body

                  Party Smart with the Sauce Spend some time checking out these resources, links, and apps to: • Drink more safely • Learn more about how alcohol affects our brains and body

                  Add to Reading List

                  Source URL: sfaf.org

                  - Date: 2014-11-04 12:43:55
                    230On-the-fly Confluence Detection for Statistical Model Checking∗ Arnd Hartmanns Mark Timmer

                    On-the-fly Confluence Detection for Statistical Model Checking∗ Arnd Hartmanns Mark Timmer

                    Add to Reading List

                    Source URL: qapl2013.units.it

                    - Date: 2013-03-26 07:49:25