Showing 81 - 100 results of 887 for search '"model checking"', query time: 0.14s Refine Results
  1. 81
    Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
    Published 2000
    Table of Contents: “… -- On Memory-Block Traversal Problems in Model-Checking Timed Systems -- Symbolic Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 82
    Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Representation Invariants of Structurally Complex Data -- Probabilistic Model Checking and Markov Chains -- Multi…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 83
    Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
    Published 1998
    Table of Contents: “… flushing -- Verification of an implementation of Tomasulo's algorithm by compositional model checking…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 84
    Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    Published 2001
    Table of Contents: “… Generation -- Application of Model Checking Techniques -- Model Checking Syllabi and Student Careers…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 85
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Microprocessor -- Algorithmic Algebraic Model Checking I: Challenges from Systems Biology -- Tools Competition…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 86
    Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
    Published 2005
    Table of Contents: “…Invited Paper -- Applications of Craig Interpolants in Model Checking -- Regular Model-Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 87
    Specification and Verification of Multi-agent Systems
    Published 2010
    Table of Contents: “… Systems -- Model Checking Agent Communication -- Directions for Agent Model Checking* -- Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 88
    Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Stochastic and Probabilistic Systems -- Qualitative Action Systems -- Verification -- RAFFS: Model Checking a…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 89
    Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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: “… for Probabilistic Automata -- LTL Model Checking of Interval Markov Chains -- Ramsey vs. Lexicographic Termination…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 90
    Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
    Published 2003
    Table of Contents: “… -- Predicate Abstraction with Minimum Predicates -- Efficient Symbolic Model Checking of Software Using Partial…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 91
    Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
    Published 2016
    Table of Contents: “… Model Checking for Probabilistic Programs -- Counter Systems, Automata -- How Hard Is It to Verify Flat…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 92
    Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings /
    Published 2008
    Table of Contents: “… and Automation in Verification Tools -- Model Checking -- CTL Model-Checking with Graded Quantifiers -- Genetic…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 93
    Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings /
    Published 2002
    Table of Contents: “… Model Checking -- Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach -- Scheduling…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 94
    Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
    Published 1999
    Table of Contents: “… of Embedded Automotive Systems-Using Model Checking for Correct Specifications -- Proof of Microprocessors…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 95
    Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
    Published 2009
    Table of Contents: “…Invited Talks -- Verifying VLSI Circuits -- 3-Valued Abstraction for (Bounded) Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 96
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
    Published 2016
    Table of Contents: “…Statistical Model Checking: Past, Present and Future -- Hypothesis testing for rare-event…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 97
    Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
    Published 1997
    Table of Contents: “… abstraction techniques for propositional ?-calculus model checking -- A compositional rule for hardware design…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 98
    Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /
    Published 2004
    Table of Contents: “… of Model Checking into the EDA Industry -- Abstraction Refinement -- Invited Speech -- Tools for Automated…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 99
    Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Table of Contents: “… and Bounded Model Checking -- Bounded Model Checking for Weak Alternating Büchi Automata -- Deriving Small…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 100
    CONCUR 2003 - Concurrency Theory 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings /
    Published 2003
    Table of Contents: “… for Probabilistic I/O Automata -- Compositionality for Probabilistic Automata -- Model-Checking -- Satisfiability…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search