Showing 261 - 280 results of 315 for search '"software verification"', query time: 0.18s Refine Results
  1. 261
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    Published 2007
    Table of Contents: “… of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 262
    Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
    Published 2003
    Full Text via HEAL-Link
    Electronic eBook
  3. 263
    2020_Book_ComputerAidedVerification.pdf
    Published 2020
    “… procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic…”
    Get full text
  4. 264
    978-3-030-81685-8.pdf
    Published 2021
    “…; logical foundations; and software verification. This is an open access book.…”
    Get full text
  5. 265
    978-3-030-81688-9.pdf
    Published 2021
    “…; logical foundations; and software verification.…”
    Get full text
  6. 266
    Advances in Computing and Data Sciences Third International Conference, ICACDS 2019, Ghaziabad, India, April 12-13, 2019, Revised Selected Papers, Part I /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  7. 267
    Advances in Computing and Data Sciences Third International Conference, ICACDS 2019, Ghaziabad, India, April 12-13, 2019, Revised Selected Papers, Part II /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  8. 268
    Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  9. 269
    978-3-031-57246-3.pdf
    Published 2024
    “…; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic…”
    Get full text
  10. 270
    978-3-031-57256-2.pdf
    Published 2024
    “…; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic…”
    Get full text
  11. 271
    Model Checking Software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings /
    Published 2004
    Table of Contents: “… -- Improvements of SPIN -- Model-Driven Software Verification -- Minimization of Counterexamples in SPIN…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 272
    Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings /
    Published 2009
    Table of Contents: “…-Based Software Verification -- A Formal Approach to Heuristically Test Restorable Systems -- Constrained…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 273
    Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  14. 274
    2020_Book_ComputerAidedVerification.pdf
    Published 2020
    “… procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic…”
    Get full text
  15. 275
    Methods and Procedures for the Verification and Validation of Artificial Neural Networks
    by Taylor, Brian J.
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  16. 276
    Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  17. 277
    Developments in Language Theory 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Approach to Software Verification -- Comments on Complete Sets of Tree Automata -- On a Conjecture…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 278
    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 /
    Published 1998
    Table of Contents: “… fixed points -- Modular model checking of software -- Verification based on local states -- Exploiting…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 279
    Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Formal Specification Language -- UML to B: Formal Verification of Object-Oriented Models -- Software…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 280
    Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Published 2013
    Table of Contents: “… -- Quarantining Weakness: Compositional Reasoning under Relaxed Memory Models (Extended Abstract) -- Software…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search