Εμφανίζονται 41 - 60 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 41
    Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Model Checking -- Automated Testing of Planning Models -- Towards Partial Order Reduction for Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 42
    Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis -- Verifying…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 43
    Model checking and artificial intelligence /
    Έκδοση 2008
    Πρακτικό Συνεδρίου Βιβλίο
  4. 44
    Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “…Invited Talks -- Software Model Checking with Abstraction Refinement -- Model-Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 45
    SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…Papers -- Symmetric Spin -- Using Garbage Collection in Model Checking -- Model Checking Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 46
    Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…Security and Protocols -- Combining Abstract Interpretation and Model Checking for Analysing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 47
    Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 48
    Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…Program verification -- Model checking -- Abstract interpretation -- Abstract domains -- Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 49
    Model-Checking Based Data Retrieval An Application to Semistructured and Temporal Data /
    ανά Quintarelli, Elisa
    Έκδοση 2004
    Πίνακας περιεχομένων: “…1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 50
    Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Checking -- Completeness and Complexity of Bounded Model Checking -- Model Checking for Object…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 51
    Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…Bringing LTL Model Checking to Biologists -- Verified Concurrent Code: Tricks of the Trade…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 52
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Transactions -- Model Checking Nonblocking MPI Programs -- Model Checking Via ?CFA -- Using First-Order Theorem…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 53
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Approximation Refinement for Interpolation-Based Model Checking -- Abstract Interpretation of Cellular…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 54
    Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 55
    Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Program verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 56
    Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Invited Talks -- Model Checking: Progress and Problems -- Model Checking Concurrent Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 57
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Interpretation-Based Protection -- Advances in Probabilistic Model Checking -- Building a Calculus of Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 58
    Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 59
    Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for Parameterized Verification -- Error Control for Probabilistic Model Checking -- Field Constraint Analysis -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 60
    Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Program verification -- Model checking -- Abstract interpretation -- Program synthesis -- Static…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email