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