Checking

Results: 4283



#Item
251

A Quick Tour on LTL Model Checking Lecture #1 of Advanced Model Checking Joost-Pieter Katoen Lehrstuhl 2: Software Modeling & Verification E-mail: October 22, 2006

Add to Reading List

Source URL: www-i2.informatik.rwth-aachen.de

- Date: 2006-10-23 09:28:13
    252

    Efficient Type-Checking for Amortised Heap-Space Analysis Dulma Rodriguez Department of Computer Science Ludwig-Maximilians-University Munich

    Add to Reading List

    Source URL: www.lama.univ-savoie.fr

    - Date: 2009-05-19 03:31:07
      253

      Towards Structural Consistency Checking in Adaptive Case Management Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

      Add to Reading List

      Source URL: eprints.cs.univie.ac.at

      - Date: 2015-10-20 10:26:25
        254

        Checking and Enforcing Robustness against TSO Ahmed Bouajjani1 , Egor Derevenetc2,3 , and Roland Meyer3 1 LIAFA, University Paris 7

        Add to Reading List

        Source URL: concurrency.informatik.uni-kl.de

        - Date: 2014-11-15 10:16:24
          255

          Fairness Modulo Theory: A New Approach to LTL Software Model Checking Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, and Andreas Podelski University of Freiburg, Germany a ct

          Add to Reading List

          Source URL: ultimate.informatik.uni-freiburg.de

          - Date: 2015-06-23 06:01:21
            256

            Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking Faiz UL Muram Huy Tran

            Add to Reading List

            Source URL: eprints.cs.univie.ac.at

            - Date: 2014-06-03 10:24:10
              257

              Statistical Model Checking for Markov Decision Processes David Henriques∗† , Jo˜ao G. Martins∗‡ , Paolo Zuliani∗ , Andr´e Platzer∗ , Edmund M. Clarke∗ ∗ Computer † SQIG

              Add to Reading List

              Source URL: symbolaris.com

              - Date: 2014-08-04 10:11:57
                258

                Header Space Analysis: Static Checking For Networks Peyman Kazemian, Nick McKeown (Stanford University) and George Varghese (UCSD and Yahoo Labs).

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2014-01-09 06:01:47
                  259

                  Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

                  Add to Reading List

                  Source URL: eprints.cs.univie.ac.at

                  - Date: 2016-05-27 09:10:59
                    UPDATE