Showing 321 - 340 results of 887 for search '"Model checking"', query time: 0.11s Refine Results
  1. 321
    Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
    Published 2013
    Table of Contents: “… of G3i -- Model Checking General Linear Temporal Logic -- Semantically Guided Evolution of SHI ABoxes…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 322
    Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Published 2013
    Table of Contents: “… and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 323
    From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  4. 324
    Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings /
    Published 2010
    Table of Contents: “… of Model Checking and Performance Evaluation -- Security Evaluation of Layered Intrusion Tolerant Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 325
    Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers /
    Published 2005
    Table of Contents: “… and Model Checking for Mobile Processes -- Concurrent and Distributed Systems -- Object Connectivity…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 326
    All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic /
    Table of Contents: “… -- Model Checking Invariants Through Search -- LTL Model Checking -- Reflection, Metalevel Computation…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 327
    CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Separation for Transactional Memory -- Completeness and Nondeterminism in Model Checking Transactional…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 328
    9783030720162.pdf
    Published 2021
    Get full text
  9. 329
    Handbook of Parallel Constraint Reasoning
    Published 2018
    Table of Contents: “… -- Parallel A* for State-Space Search -- Parallel Model Checking Algorithms for Linear-Time Temporal Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 330
    Formal System Verification State-of the-Art and Future Trends /
    Published 2018
    Table of Contents: “… of Incomplete Designs -- Probabilistic Model Checking: Advances and Applications -- Software in a Hardware View…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 331
    Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  12. 332
    Industrial used of formal method : formal verification /
    Published 2012
    Full Text via HEAL-Link
    eBook
  13. 333
    Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  14. 334
    Applications and Theory of Petri Nets 2001 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings /
    Published 2001
    Table of Contents: “… -- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints -- Model Checking LTL…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 335
    Automated Reasoning for Systems Biology and Medicine
    Published 2019
    Table of Contents: “…Part I: Model Checking -- Chapter 1. Model Checking Approach to the Analysis of Biological Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 336
    Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
    Published 2008
    Table of Contents: “…, and Containment -- Trends and Challenges in Algorithmic Software Verification -- Model Checking: Back and Forth…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 337
    Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
    Published 2014
    Table of Contents: “… for Linear Loops -- Modeling and Model Checking Discrete Systems FDR3 — A Modern Refinement Checker for CSP…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 338
    Regression Linear Models in Statistics /
    by Bingham, N. H., Fry, John M.
    Published 2010
    Table of Contents: “… Regression -- Adding additional covariates and the Analysis of Covariance -- Linear Hypotheses -- Model…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 339
    Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
    Published 2015
    Table of Contents: “…, and Model Checking -- Graphs, Term Rewriting, and Networks -- Transducers, Tree Automata, and Weighted…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 340
    High-Level Verification Methods and Tools for Verification of System-Level Designs /
    Table of Contents: “…Introduction -- Related Work -- Background -- Execution-based Model Checking for High-Level Designs…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search