Εμφανίζονται 241 - 260 Αποτελέσματα από 315 για την αναζήτηση '"Software verification"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 241
    1006822.pdf
    Έκδοση 2020
    “… and selected from 94 submissions. The papers are organized in topical sections named: software verification…”
    Λήψη πλήρους κειμένου
  2. 242
    Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Diagram Analysis -- Inductive UML -- Formal Software Verification at Model and at Source Code Levels…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 243
    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
    Πίνακας περιεχομένων: “… Checking -- Fairness for Infinite-State Systems -- Software Verification and Verifiable Witnesses -- AProVE…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 244
    Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Assessment Via Probabilistic Model Checking -- Learning Techniques for Software Verification and Validation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 245
    Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Engineering Aspects -- Software Verification and Software Engineering a Practitioner’s Perspective…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 246
    Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Pairs for System Health Management of Real-Time Systems -- Status Report on Software Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 247
    978-3-031-13188-2.pdf
    Έκδοση 2022
    “…; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber…”
    Λήψη πλήρους κειμένου
  8. 248
    Static Analysis 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “…Invited Talks -- Injecting Life with Computers -- The Blast Query Language for Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 249
    978-3-031-13185-1.pdf
    Έκδοση 2022
    “…; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber…”
    Λήψη πλήρους κειμένου
  10. 250
    SAT 2005 Satisfiability Research in the Year 2005 /
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 251
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… to Software Verification -- Session 6 -- Constraint Solving for Interpolation -- Assertion Checking Unified…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 252
    Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Invited Talk -- Formal Software Verification: How Close Are We? -- Formal UML Modeling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 253
    Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 254
    Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 255
    978-3-030-79876-5.pdf
    Έκδοση 2021
    Λήψη πλήρους κειμένου
  16. 256
    978-3-031-37703-7.pdf
    Έκδοση 2023
    “… systems; software verification.…”
    Λήψη πλήρους κειμένου
  17. 257
    978-3-031-38499-8.pdf
    Έκδοση 2023
    Λήψη πλήρους κειμένου
  18. 258
    978-3-031-37706-8.pdf
    Έκδοση 2023
    “… systems; software verification.…”
    Λήψη πλήρους κειμένου
  19. 259
    978-3-031-37709-9.pdf
    Έκδοση 2023
    “… systems; software verification.…”
    Λήψη πλήρους κειμένου
  20. 260
    Provably Correct Systems
    Έκδοση 2017
    Πίνακας περιεχομένων: “…, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email