Showing 241 - 260 results of 315 for search '"software verification"', query time: 0.52s Refine Results
  1. 241
    1006822.pdf
    Published 2020
    “… and selected from 94 submissions. The papers are organized in topical sections named: software verification…”
    Get full text
  2. 242
    Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings /
    Published 2012
    Table of Contents: “… Diagram Analysis -- Inductive UML -- Formal Software Verification at Model and at Source Code Levels…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2015
    Table of Contents: “… Checking -- Fairness for Infinite-State Systems -- Software Verification and Verifiable Witnesses -- AProVE…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2010
    Table of Contents: “… Assessment Via Probabilistic Model Checking -- Learning Techniques for Software Verification and Validation…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2008
    Table of Contents: “… Engineering Aspects -- Software Verification and Software Engineering a Practitioner’s Perspective…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2014
    Table of Contents: “… Pairs for System Health Management of Real-Time Systems -- Status Report on Software Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 247
    978-3-031-13188-2.pdf
    Published 2022
    “…; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber…”
    Get full text
  8. 248
    Static Analysis 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings /
    Published 2004
    Table of Contents: “…Invited Talks -- Injecting Life with Computers -- The Blast Query Language for Software…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 249
    978-3-031-13185-1.pdf
    Published 2022
    “…; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber…”
    Get full text
  10. 250
    SAT 2005 Satisfiability Research in the Year 2005 /
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  11. 251
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
    Published 2007
    Table of Contents: “… to Software Verification -- Session 6 -- Constraint Solving for Interpolation -- Assertion Checking Unified…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2010
    Table of Contents: “…Invited Talk -- Formal Software Verification: How Close Are We? -- Formal UML Modeling…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 253
    Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 254
    Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
    Published 2005
    Table of Contents: “… in Embedded Systems: A Comparative Study -- Session: State/Event-Based Verification -- State/Event Software…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 255
    978-3-030-79876-5.pdf
    Published 2021
    Get full text
  16. 256
    978-3-031-37703-7.pdf
    Published 2023
    “… systems; software verification.…”
    Get full text
  17. 257
    978-3-031-38499-8.pdf
    Published 2023
    Get full text
  18. 258
    978-3-031-37706-8.pdf
    Published 2023
    “… systems; software verification.…”
    Get full text
  19. 259
    978-3-031-37709-9.pdf
    Published 2023
    “… systems; software verification.…”
    Get full text
  20. 260
    Provably Correct Systems
    Published 2017
    Table of Contents: “…, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search