Εμφανίζονται 61 - 80 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 61
    Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 62
    Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 63
    Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Program verification -- Model checking -- Abstract interpretation and abstract domains -- Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 64
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
    ανά Barthe, Gilles
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 65
    Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…The tree areas of stochastic models -- Abstraction techniques -- Stochastic model checking.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 66
    Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 67
    On model-theoretic approaches to monadic second-order logic evaluation
    Θέματα: “…Model-checking…”
    Λήψη πλήρους κειμένου
    Technical Report
  8. 68
    Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Compaction in Spin -- Distributed-Memory Model Checking with SPIN -- Partial Order Reduction in Presence…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 69
    Abstraction Refinement for Large Scale Model Checking
    ανά Wang, Chao, Hachtel, Gary D., Somenzi, Fabio
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Symbolic Model Checking -- Abstraction -- Refinement -- Compositional SCC Analysis -- Disjunctive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 70
    Abstraction Refinement for Large Scale Model Checking
    ανά Wang, Chao
    Έκδοση 2006
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  11. 71
    Unfoldings A Partial-Order Approach to Model Checking /
    ανά Esparza, Javier, Heljanko, Keijo
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Search Procedures for the Livelock Problem -- Model Checking LTL -- Summary, Applications, Extensions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 72
    Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7
    ανά Γαροφαλάκης, Μίνως
    Έκδοση 1993
    Βιβλίο
  13. 73
    Verification of communication protocols in web services model-checking service compositions /
    ανά Mukherjee, Anshuman
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 74
    Formal methods for industrial critical systems : a survey of applications /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Symbolic Model Checking for Avionics /…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  15. 75
    Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Parallel Algorithms -- An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 76
    Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…Invited Talks -- Software Analysis and Model Checking -- The Quest for Efficient Boolean…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 77
    Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…: The Environment Abstraction Framework for Model Checking Concurrent Systems -- Model Checking – I -- Revisiting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 78
    Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “…Extending Bounded Model Checking -- Interpolation and SAT-Based Model Checking -- Bounded Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 79
    Computer Aided Verification 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “…Invited Talk -- Software Documentation and the Verification Process -- Model Checking and Theorem…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 80
    Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Properties of a PowerPC? Microprocessor Using Symbolic Model Checking without BDDs -- Model Checking the IBM…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email