Showing 401 - 420 results of 887 for search '"model checking"', query time: 0.14s Refine Results
  1. 401
    Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Using Semantic Interpretations -- Craig Interpolation for Linear Temporal Languages -- On Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 402
    Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
    Published 2012
    Table of Contents: “… Format -- Application of Model-Checking Technology to Controller Synthesis -- Testing Real-time Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 403
    Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /
    Published 2012
    Table of Contents: “… -- Symbolic Model Checking for Temporal-Epistemic Logic -- GOAL Agents Instantiate Intention Logic -- Open…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 404
    Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  5. 405
    Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  6. 406
    NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  7. 407
    Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions -- Depth Boundedness…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 408
    Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  9. 409
    Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  10. 410
    Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
    Published 2016
    Table of Contents: “… -- Formal verification -- Model checking -- Formal approaches to software testing and inspection -- Formal…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 411
    Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
    Published 2002
    Table of Contents: “… -- A Framework for Translating Models and Specifications -- Model Checkers and Theorem Provers -- Model…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 412
    Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings /
    Published 2003
    Table of Contents: “… -- Towards a Proof System for Admissibility -- Program Complexity of Dynamic LTL Model Checking -- Coping…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 413
    Tools and Algorithms for the Construction of Analysis of Systems 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
    Published 1999
    Table of Contents: “…, Theorem Proving and Abstraction -- Symbolic Analysis -- Symbolic Model Checking without BDDs -- Symbolic…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 414
    Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings /
    Published 2002
    Table of Contents: “…Invited Presentations -- Model Checking and Abstraction -- Reformulation in Planning…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 415
    Logic Programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings /
    Published 2002
    Table of Contents: “…-Time Model Checking Using Tabled Logic Programming and Constraints -- Constraint-Based Infinite Model…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 416
    Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings /
    Published 2013
    Table of Contents: “… -- Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models -- Constraint Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 417
    Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives -- Eager Markov Chains…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 418
    Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
    Published 2012
    Table of Contents: “… of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 419
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures /
    Published 2016
    Table of Contents: “… Representations and Analysis Techniques -- Spatial Logic and Spatial Model Checking for Closure Spaces…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 420
    Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings /
    Published 2017
    Table of Contents: “… Combined Model Checking and Testing Create Confidence – A Case on Commercial Automotive Operating System…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search