Showing 21 - 40 results of 887 for search '"Model checking"', query time: 0.17s Refine Results
  1. 21
    Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings /
    Published 2001
    Table of Contents: “…Invited Keynotes -- From model checking to a temporal proof -- Model checking if your life depends…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 22
    Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
    Published 2016
    Table of Contents: “… with SPIN -- ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications -- Autonomous Agent…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 23
    Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
    Published 2002
    Table of Contents: “… -- Abstraction in Software Model Checking: Principles and Practice -- Software Model Checking -- Symmetry…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 24
    Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
    Published 2003
    Table of Contents: “… -- Distributed Explicit Fair Cycle Detection (Set Based Approach) -- Efficient Model Checking of Safety…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 25
    Model Checking Software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Checking with Hopper -- SEQ.OPEN: A Tool for Efficient Trace-Based Verification -- Model Checking Genetic…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 26
    Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings /
    Published 2006
    Table of Contents: “…Directed Model Checking -- Large-Scale Directed Model Checking LTL -- Directed Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 27
    Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  8. 28
    Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
    Published 2009
    Table of Contents: “…Invited Contributions -- Software Model Checking Improving Security of a Billion Computers…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 29
    Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /
    Published 2010
    Table of Contents: “…Satisfiability Modulo Theories for Model Checking -- SMT-Based Software Model Checking -- Symbolic…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 30
    Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /
    Published 2005
    Table of Contents: “…Invited Talks/Papers -- Pushdown Model Checking for Security -- Execution Generated Test Cases: How…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 31
    Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings /
    Published 2019
    Table of Contents: “…Model Verification Through Dependency Graphs -- Model Checking Branching Time Properties…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 32
    Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
    Published 2007
    Table of Contents: “…StackSnuffer: Curing Orion’s Unsoundness -- Tutorial: Parallel Model Checking -- Local Abstraction…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 33
    Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
    Published 2008
    Table of Contents: “… -- Automated Evaluation of Secure Route Discovery in MANET Protocols -- Model Checking Abstract Components…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 34
    Handbook of Model Checking
    Published 2018
    Table of Contents: “…Introduction to Model Checking -- Temporal Logic and Fair Discrete Systems -- Modeling…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 35
    Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
    Published 2018
    Table of Contents: “… -- Model checking -- Automated theorem proving, including SAT and SMT -- Verifying compilers -- Abstraction…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 36
    Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  17. 37
    Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
    Published 2013
    Table of Contents: “…Explicit-state model checking techniques -- Other related tools -- Techniques for the verification…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 38
    Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
    by Pol, Jaco
    Published 2010
    Get full text
    Electronic Kit Book
  19. 39
    25 Years of Model Checking History, Achievements, Perspectives /
    Published 2008
    Table of Contents: “…The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 40
    Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search