Εμφανίζονται 201 - 220 Αποτελέσματα από 315 για την αναζήτηση '"software verification"', χρόνος αναζήτησης: 0,92δλ Περιορισμός αποτελεσμάτων
  1. 201
    Advanced Lectures on Software Engineering LASER Summer School 2007/2008 /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 202
    Software Engineering: Specification, Implementation, Verification
    ανά Alagić, Suad
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Models to Code -- 5 Data Management -- 6 Software Verification.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 203
    Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 204
    Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… programming -- Software verification -- Design patterns.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 205
    Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…An Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 206
    Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… computation --  Timed and hybrid models.- Formal software verification.- Model verification and validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 207
    Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Reachability analysis for software verification -- Restarting automata -- Transducers -- Tree automata…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 208
    Open Source Systems Security Certification
    Πίνακας περιεχομένων: “… for software verification -- OSS security certification -- Case Study 1: Linux certification -- Case Study 2…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 209
    Industrial Applications of Evolutionary Algorithms
    Πίνακας περιεχομένων: “…Introduction -- Resources -- Automatic software verification -- Post-silicon speed-path analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 210
    Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… for JML -- Incremental Benchmarks for Software Verification Tools and Techniques -- Case Studies…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 211
    Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- On Quantitative Software Verification -- The Quest for Correctness-Beyond a Posteriori Verification -- Who Really…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 212
    Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Observability Concepts in Abstract Data Type Specification, 30 Years Later -- Software Verification -- Ugo…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 213
    Introduction to Databases From Biological to Spatio-Temporal /
    ανά Revesz, Peter
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Languages -- Evaluation of Queries -- Implementation Methods -- Computational Complexity -- Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 214
    Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Decomposition of the Property Büchi Automaton for Faster Model Checking -- Competition on Software Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 215
    Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Analysis, Learning, and Runtime Monitoring -- Evaluating Tools for Software Verification (Track…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 216
    Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 217
    Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems /
    ανά Herde, Christian
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 218
    Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 219
    Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Invited Talks -- The First Thirty Years: Experience with Software Verification -- Vacuity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 220
    Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email