Showing 261 - 280 results of 887 for search '"Model checking"', query time: 0.15s Refine Results
  1. 261
    978-3-031-37703-7.pdf
    Published 2023
    “… and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model…”
    Get full text
  2. 262
    978-3-031-37706-8.pdf
    Published 2023
    “… and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model…”
    Get full text
  3. 263
    978-3-031-37709-9.pdf
    Published 2023
    “… and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model…”
    Get full text
  4. 264
    Process Algebra and Probabilistic Methods: Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /
    Published 2002
    Table of Contents: “… and Probabilistic Abstraction-Based Model Checking -- Out-of-Core Solution of Large Linear Systems of Equations…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 265
    Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /
    Published 2000
    Table of Contents: “… of Distributed Programs -- Challenges in the Verification of Electronic Control Units -- Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 266
    2020_Book_ComputerAidedVerification.pdf
    Published 2020
    “… procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic…”
    Get full text
  7. 267
    Transactions on Petri Nets and Other Models of Concurrency X
    Published 2015
    Table of Contents: “… Parametric Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 268
    Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /
    Published 2004
    Table of Contents: “… -- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata -- Formal Tools…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 269
    978-3-030-81685-8.pdf
    Published 2021
    “…; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking…”
    Get full text
  10. 270
    978-3-030-81688-9.pdf
    Published 2021
    “…; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking…”
    Get full text
  11. 271
    Bayesian Inference for Probabilistic Risk Assessment A Practitioner's Guidebook /
    by Kelly, Dana, Smith, Curtis
    Published 2011
    Table of Contents: “… for Common Aleatory Models -- 4. Bayesian Model Checking -- 5. Time Trends for Binomial and Poisson Data -- 6…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 272
    Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
    by Kaiser, Łukasz
    Published 2011
    Table of Contents: “… for Model Checking on Automatic Structures -- 4 Memory Structures for Infinitary Games -- 5 Counting…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 273
    Scalable Techniques for Formal Verification
    by Ray, Sandip
    Published 2010
    Table of Contents: “… Compositional Model Checking Procedure -- Connecting External Deduction Tools with ACL2 -- Conclusion -- Summary…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 274
    Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings /
    Published 2009
    Table of Contents: “… for Propositional Logic -- Tableaux and Model Checking for Memory Logics -- Canonical Constructive Systems -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 275
    Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Inheritance -- Model Checking LTL Formulae in RAISE with FDR -- An Introduction to Grammar Convergence…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 276
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /
    Published 2010
    Table of Contents: “… -- Proving the Refuted: Symbolic Model Checkers as Proof Generators -- Meanings of Model Checking -- Smaller…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 277
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Papers -- Model-Checking Web Applications with Web-TLR -- GAVS: Game Arena Visualization and Synthesis…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 278
    Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- A Decidable Temporal Logic of Repeating Values -- Model Checking Knowledge and Linear Time: PSPACE…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 279
    Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 280
    Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
    Published 2008
    Table of Contents: “… by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search