Εμφανίζονται 101 - 120 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,54δλ Περιορισμός αποτελεσμάτων
  1. 101
    Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… MTBDDs for Composition and Model Checking of Real-Time Systems -- Formal Methods in CAD from…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 102
    Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Topology Invariants -- Complete SAT-Based Model Checking for Context-Free Processes -- Bounded Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 103
    Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and Scheduling of Datapaths of Digital Document Printers -- Session 4. Model-Checking of Probabilistic Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 104
    Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Automata Networks -- Model-Checking Signal Transduction Networks through Decreasing Reachability…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 105
    Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Model Checking -- Simple Bounded LTL Model Checking -- QuBE++: An Efficient QBF Solver -- Bounded…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 106
    Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… and Application to Processor Design -- FMCAD 2000 -- Applications of Hierarchical Verification in Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 107
    Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Assignments for Bounded Model Checking -- Probabilistic Model Checking -- Numerical vs. Statistical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 108
    Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Synthesizing Subtle Bugs with Known Witnesses -- Statistical Model Checking, The 2018 edition! -- Chasing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 109
    Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and Re-learn -- Where Do Bugs Come from? -- HVC Award -- Symbolic Execution and Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 110
    Tools and Algorithms for the Construction and Analysis of Systems 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… fixed points -- Modular model checking of software -- Verification based on local states -- Exploiting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 111
    Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… of Implementable MSC Languages -- Combining Static Analysis and Model Checking for Systems Employing Commutative…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 112
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Model Checking -- Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 113
    Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…: Review and Evaluation -- Local Quantitative LTL Model Checking -- Efficient Symbolic Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 114
    Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Discovery in Predicate Abstraction -- Automated Abstraction Refinement for Model Checking Large State Spaces…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 115
    Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… -- Symbolic Model-Checking Using ITS-Tools -- Semantic Importance Sampling for Statistical Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 116
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Level Model Checking of Industrial Netlists -- Session 13: Hardware Verification II -- Validating High…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 117
    Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… and Invariance Analysis of Loops -- Some Perspectives of Infinite-State Verification -- Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 118
    Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Model Checking I -- Hierarchical Set Decision Diagrams and Regular Models -- Büchi Complementation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 119
    Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Using Invertible Sequences -- Automated Analysis -- Model Checking with SAT-Based Characterization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 120
    SAT-Based Scalable Formal Verification Solutions
    ανά Ganai, Malay K., Gupta, Aarti
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Bounded Model Checking -- Distributed SAT-Based BMC -- Efficient Memory Modeling in BMC -- BMC for Multi…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email