Checking

Results: 4283



#Item
131Program verification Generalities about software Verification – Model Checking Laure Gonnord David Monniaux

Program verification Generalities about software Verification – Model Checking Laure Gonnord David Monniaux

Add to Reading List

Source URL: laure.gonnord.org

Language: English - Date: 2016-09-18 10:59:58
    132THE COLLEGE OF NEW JERSEY OFFICE OF STUDENT ACCOUNTS FALL 2015 BILLING CALENDAR Students are responsible for checking PAWS on a regular basis. It is possible for changes to occur between billing cycles. COLUMN 1*

    THE COLLEGE OF NEW JERSEY OFFICE OF STUDENT ACCOUNTS FALL 2015 BILLING CALENDAR Students are responsible for checking PAWS on a regular basis. It is possible for changes to occur between billing cycles. COLUMN 1*

    Add to Reading List

    Source URL: studentaccounts.tcnj.edu

    Language: English - Date: 2015-09-09 10:01:05
      133Caspar Community - Emergency PreparednessCaspar Road, Bx 84 Caspar, CAIf you are interested in someone checking on you in case of an emergency within our community, please fill out this form as you see fit

      Caspar Community - Emergency PreparednessCaspar Road, Bx 84 Caspar, CAIf you are interested in someone checking on you in case of an emergency within our community, please fill out this form as you see fit

      Add to Reading List

      Source URL: casparcommons.org

      Language: English - Date: 2017-04-12 12:03:05
        134Checking Concise Specifications for Multithreaded Software Stephen N. Freund1 and Shaz Qadeer2 1 Department of Computer Science, Williams College, Williamstown, MA

        Checking Concise Specifications for Multithreaded Software Stephen N. Freund1 and Shaz Qadeer2 1 Department of Computer Science, Williams College, Williamstown, MA

        Add to Reading List

        Source URL: www.cs.williams.edu

        Language: English - Date: 2018-08-12 09:37:26
          135arXiv:1605.02529v1 [cs.SE] 9 MayUnder consideration for publication in Formal Aspects of Computing Verification of interlocking systems using statistical model checking

          arXiv:1605.02529v1 [cs.SE] 9 MayUnder consideration for publication in Formal Aspects of Computing Verification of interlocking systems using statistical model checking

          Add to Reading List

          Source URL: www.info.ucl.ac.be

          Language: English - Date: 2018-07-26 05:20:31
            136Form Methods Syst Des DOIs10703y Computable fixpoints in well-structured symbolic model checking N. Bertrand · P. Schnoebelen

            Form Methods Syst Des DOIs10703y Computable fixpoints in well-structured symbolic model checking N. Bertrand · P. Schnoebelen

            Add to Reading List

            Source URL: people.rennes.inria.fr

            Language: English - Date: 2013-09-13 06:05:42
              137Model Checking Software, Solving Horn Clauses and IC3 Nikolaj Bjørner Microsoft Research SAT/SMT Summer School 2014, Semmering

              Model Checking Software, Solving Horn Clauses and IC3 Nikolaj Bjørner Microsoft Research SAT/SMT Summer School 2014, Semmering

              Add to Reading List

              Source URL: satsmt2014.forsyte.at

              Language: English - Date: 2014-07-12 08:30:08
                138Checking financial figures during a meeting

                Checking financial figures during a meeting

                Add to Reading List

                Source URL: www.integrationsaemter.de

                Language: German - Date: 2015-11-02 02:55:18
                  139Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

                  Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

                  Add to Reading List

                  Source URL: www.cs.tsukuba.ac.jp

                  Language: English - Date: 2011-06-15 23:12:41
                    140Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking Kazuhide Yasukata, Naoki Kobayashi and Kazutaka Matsuda The University of Tokyo

                    Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking Kazuhide Yasukata, Naoki Kobayashi and Kazutaka Matsuda The University of Tokyo

                    Add to Reading List

                    Source URL: www-kb.is.s.u-tokyo.ac.jp

                    Language: English - Date: 2015-10-01 02:54:54