Εμφανίζονται 281 - 300 Αποτελέσματα από 315 για την αναζήτηση '"Software verification"', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 281
    System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 282
    Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… for Infinite-State Concurrent Systems -- Tracking Heaps That Hop with Heap-Hop -- Software Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 283
    Model-Based Testing of Reactive Systems Advanced Lectures /
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 284
    Computer Safety, Reliability and Security 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… for Software Verification Tools with Regard to RTCA/DO-178B -- Safety Patterns - The Key to Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 285
    Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… -- Reuse in Software Verification by Abstract Method Calls -- Dynamic Logic with Trace Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 286
    Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Incremental Slicing -- Assume-Guarantee Software Verification Based on Game Semantics -- Optimized Execution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 287
    Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Generating Polynomial Invariants for Hybrid Systems -- Modeling, Optimization and Computation for Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 288
    Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 289
    FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… for Software Verification -- Closing Open SDL-Systems for Model Checking with DTSpin -- A Generalised Sweep…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 290
    Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- Software Verification -- Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 291
    Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- A Language for Configuring Multi-level Specifications -- Flexible Proof Reuse for Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 292
    Simula Research Laboratory by Thinking Constantly about it /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Until Proved Correct -- Software Verification — A Scalable, Model-Driven, Empirically Grounded Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 293
    Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… of Attribute Grammars -- Software Verification -- Relative Completeness of Abstraction Refinement for Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 294
    Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… in Software Verification -- More Computation Power for a Denotational Semantics for First Order Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 295
    Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 296
    Advances in Case-Based Reasoning 4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… in diabetes therapy revision -- Similarities and reuse of proofs in formal software verification -- Structured…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 297
    Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings /
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 298
    Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Programs -- Using Graph Transformations and Graph Abstractions for Software Verification.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 299
    Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… for Producing Effective Interpolants in SAT-Based Software Verification -- Incremental Tabling for Query-Driven…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 300
    Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Approach to Software Verification -- Sonic Partial Deduction -- On Perfect Supercompilation -- Linear Time…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email