Showing 121 - 140 results of 887 for search '"model checking"', query time: 0.13s Refine Results
  1. 121
    FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
    Published 2009
    Table of Contents: “… and Nearly Fair Coins in the Cryptographers’ Café -- Model Checking I -- Recursive Abstractions…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 122
    Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings /
    Published 2004
    Table of Contents: “… Automation Systems -- On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 123
    Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
    Published 2016
    Table of Contents: “… Diagrams -- Model Checking -- Program Generation using Simulated Annealing and Model Checking -- LTL…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 124
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
    Published 2015
    Table of Contents: “…A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 125
    CONCUR 2001 - Concurrency Theory 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings /
    Published 2001
    Table of Contents: “… -- Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software -- Performance…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 126
    Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Congruences -- An Automated Translator for Model Checking Time Constrained Workflow Systems -- Correctness…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 127
    Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
    Published 2000
    Table of Contents: “… from Relations -- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 128
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
    Published 2014
    Table of Contents: “… Checking Statistical Model Checking Past, Present, and Future -- An Effective Heuristic for Adaptive…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 129
    Modeling and Verification of Parallel Processes 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures /
    Published 2001
    Table of Contents: “…Tutorials and Papers -- Model Checking: A Tutorial Overview -- Theorem Proving for Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 130
    CONCUR 2004 - Concurrency Theory 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings /
    Published 2004
    Table of Contents: “…Invited Papers -- Zing: Exploiting Program Structure for Model Checking Concurrent Software -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 131
    Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
    Published 2014
    Table of Contents: “… Scenario Quality Using Quasi-Events -- Combined Bounded and Symbolic Model Checking for Incomplete Timed…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 132
    Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers /
    Published 2012
    Table of Contents: “… Agents -- Part III: Model Checking -- Abstraction for Model Checking Modular Interpreted Systems over ATL…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 133
    CONCUR'99. Concurrency Theory 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings /
    Published 1999
    Table of Contents: “… Verification -- "Next" Heuristic for On-the-Fly Model Checking -- Model Checking of Message Sequence Charts…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 134
    Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /
    Published 1997
    Table of Contents: “… -- Manipulation algorithms for K*BMDs -- Combining partial order and symmetry reductions -- Partial model checking…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 135
    Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Published 2003
    Table of Contents: “…-Carrying Code -- Bounded Model Checking and SAT-Based Methods -- Automatic Abstraction without…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 136
    FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Translator of B Specifications to Embedded C Programs -- Integrating Model-Checking Architectural Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 137
    Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
    Published 2010
    Table of Contents: “…: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 138
    Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
    Published 2010
    Table of Contents: “… and Concurrency -- Model Checking Hierarchical Probabilistic Systems -- Trace-Driven Verification of Multithreaded…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 139
    FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /
    Published 2005
    Table of Contents: “… for Specification and Property Verification -- Operational Semantics for Model Checking Circus -- Control Law…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 140
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Published 2015
    Table of Contents: “… Verification -- Twenty Years of Dynamic Software Model Checking -- Explaining Heisenbugs -- Regular Papers…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search