Checking

Results: 4283



#Item
201

Robust Model-Checking of Timed Automata via Pumping in Channel Machines★ Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Timed automata are governed by a mathematical semantics

Add to Reading List

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

- Date: 2011-08-09 04:16:30
    202

    N1522=October 22, 2003 Concepts – Design choices for template argument checking Bjarne Stroustrup ()

    Add to Reading List

    Source URL: www.open-std.org

    - Date: 2003-10-23 02:50:12
      203

      2 Satisfiability Checking and Symbolic Computation (SC

      Add to Reading List

      Source URL: computing.coventry.ac.uk

      - Date: 2016-07-18 08:02:47
        204

        Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of

        Add to Reading List

        Source URL: web.cecs.pdx.edu

        - Date: 2014-01-24 04:02:53
          205

          Generic Record Combinators with Static Type Checking Wolfgang Jeltsch † Brandenburgische Technische Universit¨at Cottbus Lehrstuhl Programmiersprachen und Compilerbau Postfach, 03013 Cottbus, Germany jeltsch@

          Add to Reading List

          Source URL: www.ioc.ee

          - Date: 2012-04-24 14:51:04
            206

            Automatic Abstraction in SMT-Based Unbounded Software Model Checking ⋆ Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PA, USA Abstract. Software model che

            Add to Reading List

            Source URL: www.cs.cmu.edu

            - Date: 2013-06-08 14:51:39
              207

              Fee Schedule Personal Checking Accounts Account Description Paper Statement Fee

              Add to Reading List

              Source URL: www.centrevillebank.com

              - Date: 2016-11-15 16:34:45
                208

                Delft University of Technology Software Engineering Research Group Technical Report Series Static Consistency Checking of Web Applications with WebDSL

                Add to Reading List

                Source URL: swerl.tudelft.nl

                - Date: 2010-08-09 08:27:07
                  209

                  Automatic Software Verification April 28, 2015 Lecture 6: Bounded Model Checking Lecturer: Mooly Sagiv

                  Add to Reading List

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

                  - Date: 2015-05-27 01:40:48
                    210

                    SMT-based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

                    Add to Reading List

                    Source URL: www.cs.cmu.edu

                    - Date: 2014-08-20 17:05:42
                      UPDATE