Checking

Results: 4283



#Item
241

Incremental Construction of Inductive Clauses for Indubitable Correctness or simply: IC3 A Simplified Description Based on “SAT-Based Model Checking without Unrolling”

Add to Reading List

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

- Date: 2015-06-10 04:37:11
    242

    Specialization with Constrained Generalization for Software Model Checking Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

    Add to Reading List

    Source URL: www.iasi.cnr.it

    - Date: 2013-02-28 10:50:36
      243

      Page 1 of 8 Infotech@Aerospace 2012 Conference Logic Model Checking of Time-Periodic Real-Time Systems

      Add to Reading List

      Source URL: spinroot.com

      - Date: 2013-07-26 18:25:59
        244

        Gran: model checking grsecurity RBAC policies Michele Bugliesi Stefano Calzavara Riccardo Focardi Marco Squarcina DAIS, Università Ca’ Foscari Venezia, Italy

        Add to Reading List

        Source URL: secgroup.dais.unive.it

        - Date: 2012-04-16 07:02:07
          245

          Form Methods Syst DesDOI Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification Paolo Zuliani · Andr´

          Add to Reading List

          Source URL: symbolaris.com

          - Date: 2014-08-04 10:08:34
            246

            UNIVERSITY OF OSLO Department of Informatics Deadlock checking by a behavioral effect

            Add to Reading List

            Source URL: heim.ifi.uio.no

            - Date: 2011-03-29 05:22:47
              247

              Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract

              Add to Reading List

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

              - Date: 2016-08-08 07:44:57
                248

                Journal on Satisfiability, Boolean Modeling and ComputationUniversal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories Francesco Alberti

                Add to Reading List

                Source URL: jsat.ewi.tudelft.nl

                - Date: 2011-12-31 10:54:19
                  249

                  Electronic Funds Transfers Why an EFT instead of a Credit Card or Debit Card transaction? EFT payments from your checking account are good for you and they’re good for NEPR: • NEPR pays less for credit card fees so

                  Add to Reading List

                  Source URL: nepr.files.s3.amazonaws.com

                  - Date: 2016-02-02 13:14:09
                    250

                    Enterprise Modelling and Information Systems Architectures Vol. 11, NoDOI:emisa.11.2 An Indexing Technique for Compliance Checking and Maintenance in Large Process and Rule Repositories An Indexing T

                    Add to Reading List

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

                    - Date: 2016-04-01 09:03:06
                      UPDATE