Checking

Results: 4283



#Item
201Robust 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

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
    202N1522=October 22, 2003 Concepts – Design choices for template argument checking Bjarne Stroustrup ()

    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
      2032 Satisfiability Checking and Symbolic Computation (SC

      2 Satisfiability Checking and Symbolic Computation (SC

      Add to Reading List

      Source URL: computing.coventry.ac.uk

      - Date: 2016-07-18 08:02:47
        204Static 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

        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
          205Generic Record Combinators with Static Type Checking Wolfgang Jeltsch † Brandenburgische Technische Universit¨at Cottbus Lehrstuhl Programmiersprachen und Compilerbau Postfach, 03013 Cottbus, Germany jeltsch@

          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
            206Automatic 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

            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
              207Fee Schedule Personal Checking Accounts Account Description Paper Statement Fee

              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
                208Delft University of Technology Software Engineering Research Group Technical Report Series Static Consistency Checking of Web Applications with WebDSL

                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
                  209Automatic Software Verification April 28, 2015 Lecture 6: Bounded Model Checking Lecturer: Mooly Sagiv

                  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
                    210SMT-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

                    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