Showing 241 - 260 results of 887 for search '"Model checking"', query time: 0.11s Refine Results
  1. 241
    Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings /
    Published 2005
    Table of Contents: “… of Parameterized Timed Systems -- Model Checking -- Model Checking the Time to Reach Agreement -- Diagonal…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 242
    Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings /
    Published 2018
    Table of Contents: “…Petri Nets Synthesis -- Analysis and Model Checking -- Languages -- Semantics and Expressiveness…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 243
    Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings /
    Published 2000
    Table of Contents: “… with Floating-Point Numbers: Model Checking and Theorem Proving in Practice -- Session 5: -- Reducing Model…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 244
    Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /
    Published 1998
    Table of Contents: “… refinement in real-time model checking -- Formal verification of stabilizing systems -- Synchronizing clocked…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 245
    Fundamental Approaches to Software Engineering 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Combinatorial Test Suites -- Systematic Testing of Software Architectures in the C2 Style -- Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 246
    Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings /
    Published 2012
    Table of Contents: “… for the Cloud in Real-Time ABS -- Specification and Model Checking of the Chandy and Lamport Distributed…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 247
    Static Analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings /
    Published 2000
    Table of Contents: “…Invited Papers -- Enforcing Design Constraints with Object Logic -- Model Checking as Constraint…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 248
    978-3-031-13188-2.pdf
    Published 2022
    “…; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber…”
    Get full text
  9. 249
    978-3-031-13185-1.pdf
    Published 2022
    “…; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber…”
    Get full text
  10. 250
    Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
    Published 2017
    Table of Contents: “… States of Parallel Programs -- Witnessing Network Transformations -- Combining Model Checking and Runtime…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 251
    Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /
    Published 2014
    Table of Contents: “… -- (Stochastic) Model Checking in GreatSPN -- StrataGEM: A Generic Petri Net Verification Framework -- A Steering…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 252
    Transactions on Petri Nets and Other Models of Concurrency VIII
    Published 2013
    Table of Contents: “… Cell Cycle -- Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators -- Model…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 253
    Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
    Published 2013
    Table of Contents: “….- Quantitative Modal Transition Systems.- Bounded Model Checking of Recursive Programs with Pointers in K.- A…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 254
    Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /
    Published 2009
    Table of Contents: “…Nadia Busi (1968–2007) -- Symbolic Model Checking of Tense Logics on Rational Kripke Models…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 255
    Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
    Published 2017
    Table of Contents: “… Logics -- Compositional Model Checking is Lively -- Safety Analysis of Software Components of a Dialysis…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 256
    Formal Methods An Appetizer /
    Table of Contents: “… Security -- Model Checking -- Procedures -- Concurrency -- Epilogue -- App. A, The MicroC Language -- App…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 257
    Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
    Published 2007
    Table of Contents: “… Tests from Formal Proofs -- Using Model Checking to Generate Fault Detecting Tests -- White-Box Testing…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 258
    Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /
    Published 2012
    Table of Contents: “… -- SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage -- Model Checking under Fairness in ProB…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 259
    Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
    Published 2012
    Table of Contents: “…-Potassium Pump -- An Investigation of an Electrophysiological Model Using Probabilistic Model Checking.-BETA…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 260
    Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /
    Published 2012
    Table of Contents: “… Definitions More Interactive -- Model Checking LTLR Formulas under Localized Fairness -- Modelling…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search