Checking

Results: 4283



#Item
161Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia

Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia

Add to Reading List

Source URL: refal.botik.ru

- Date: 2017-03-12 03:19:31
    162Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

    Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

    Add to Reading List

    Source URL: homes.cs.washington.edu

    - Date: 2017-06-23 18:20:16
      163Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

      Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

      Add to Reading List

      Source URL: homes.cs.washington.edu

      - Date: 2016-11-23 00:38:16
        164VOLUNTEER APPLICATION FORM Please complete by filling in blanks, circling, or checking appropriate box. When completed email application to: Title: Mr. Mrs. MS. Miss. Other _________________

        VOLUNTEER APPLICATION FORM Please complete by filling in blanks, circling, or checking appropriate box. When completed email application to: Title: Mr. Mrs. MS. Miss. Other _________________

        Add to Reading List

        Source URL: manitobamutts.org

        - Date: 2015-12-14 01:21:00
          165Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† †

          Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† †

          Add to Reading List

          Source URL: kennknowles.com

          - Date: 2011-09-06 01:40:49
            166Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers Andr´as Horv´ath, Marco Paolieri, Lorenzo Ridi, Enrico Vicario Universit`a di Torino - Universit`a d

            Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers Andr´as Horv´ath, Marco Paolieri, Lorenzo Ridi, Enrico Vicario Universit`a di Torino - Universit`a d

            Add to Reading List

            Source URL: www-bcf.usc.edu

            - Date: 2013-07-22 06:44:02
              167Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

              Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2016-11-23 00:38:16
                168Stateless Model Checking with Data-Race Preemption Points Ben Blum Garth Gibson Carnegie Mellon University, USA

                Stateless Model Checking with Data-Race Preemption Points Ben Blum Garth Gibson Carnegie Mellon University, USA

                Add to Reading List

                Source URL: www.contrib.andrew.cmu.edu

                - Date: 2016-08-27 03:06:16