Checking

Results: 4283



#Item
211

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
    212

    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
      213

      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
        214

        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
          215

          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
            216

            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
              217

              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
                218

                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
                  219

                  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
                    220

                    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
                      UPDATE