Checking

Results: 4283



#Item
211Statically Checking Confidentiality of Shared-Memory Programs with Dynamic Labels Marcus V¨olp Technische Universit¨at Dresden Department of Computer ScienceDresden, Germany

Statically Checking Confidentiality of Shared-Memory Programs with Dynamic Labels Marcus V¨olp Technische Universit¨at Dresden Department of Computer ScienceDresden, Germany

Add to Reading List

Source URL: os.inf.tu-dresden.de

- Date: 2008-04-10 10:46:21
    212Tool Support for Checking Railway Interlocking Designs K. Winter W. Johnston P. Robinson

    Tool Support for Checking Railway Interlocking Designs K. Winter W. Johnston P. Robinson

    Add to Reading List

    Source URL: crpit.com

    - Date: 2012-01-19 01:28:05
      213Cascade (Competition Contribution) Wei Wang and Clark Barrett New York University Abstract. Cascade is a static program analysis tool developed at New York University. It uses bounded model checking to generate verificat

      Cascade (Competition Contribution) Wei Wang and Clark Barrett New York University Abstract. Cascade is a static program analysis tool developed at New York University. It uses bounded model checking to generate verificat

      Add to Reading List

      Source URL: www.cs.nyu.edu

      - Date: 2015-01-29 13:02:34
        214Parameterized Model Checking of Token-Passing Systems Benjamin Aminof1 , Swen Jacobs2 , Ayrat Khalimov2 , Sasha Rubin1,3 1 ?

        Parameterized Model Checking of Token-Passing Systems Benjamin Aminof1 , Swen Jacobs2 , Ayrat Khalimov2 , Sasha Rubin1,3 1 ?

        Add to Reading List

        Source URL: www.swenjacobs.com

        - Date: 2013-11-19 05:44:53
          215Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor Enno Ruijters1 , Dennis Guck1 , Peter Drolenga2 , Margot Peters2 , and Mari¨elle Stoelinga1 1: University of

          Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor Enno Ruijters1 , Dennis Guck1 , Peter Drolenga2 , Margot Peters2 , and Mari¨elle Stoelinga1 1: University of

          Add to Reading List

          Source URL: fmt.ewi.utwente.nl

          - Date: 2016-06-13 09:28:43
            216SATCheck: SAT-Directed Stateless Model Checking for SC and TSO tifact * Complete sis

            SATCheck: SAT-Directed Stateless Model Checking for SC and TSO tifact * Complete sis

            Add to Reading List

            Source URL: plrg.eecs.uci.edu

            - Date: 2016-10-19 22:44:46
              217Tightening Test Coverage Metrics: A Case Study in Equivalence Checking using k-Induction? Alastair F. Donaldson1 , Nannan He1 , Daniel Kroening1 , and Philipp R¨ ummer2 1

              Tightening Test Coverage Metrics: A Case Study in Equivalence Checking using k-Induction? Alastair F. Donaldson1 , Nannan He1 , Daniel Kroening1 , and Philipp R¨ ummer2 1

              Add to Reading List

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

              - Date: 2013-01-20 10:28:55
                218What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

                What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology)

                Add to Reading List

                Source URL: forsyte.at

                - Date: 2016-03-08 09:52:31
                  219A model checking approach for verifying COWS specifications? Alessandro Fantechi1 , Stefania Gnesi2 , Alessandro Lapadula1 , Franco Mazzanti2 , Rosario Pugliese1 , and Francesco Tiezzi1 1

                  A model checking approach for verifying COWS specifications? Alessandro Fantechi1 , Stefania Gnesi2 , Alessandro Lapadula1 , Franco Mazzanti2 , Rosario Pugliese1 , and Francesco Tiezzi1 1

                  Add to Reading List

                  Source URL: rap.dsi.unifi.it

                  - Date: 2008-01-28 09:31:30
                    220Almost-Sure Model-Checking of Reactive Timed Automata Patricia Bouyer∗ , Thomas Brihaye† , Marcin Jurdzi´nski‡ and Quentin Menet† ∗ LSV – CNRS & ENS Cachan – France

                    Almost-Sure Model-Checking of Reactive Timed Automata Patricia Bouyer∗ , Thomas Brihaye† , Marcin Jurdzi´nski‡ and Quentin Menet† ∗ LSV – CNRS & ENS Cachan – France

                    Add to Reading List

                    Source URL: www.lsv.ens-cachan.fr

                    - Date: 2012-09-14 10:37:26