Showing 21 - 40 results of 315 for search '"Software verification"', query time: 0.07s Refine Results
  1. 21
    Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  2. 22
    Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  3. 23
    Verification and validation for quality of UML 2.0 models /
    by Unhelkar, Bhuvan
    Published 2005
    Subjects: “…COMPUTER SOFTWARE -- VERIFICATION…”
    Book
  4. 24
    SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings /
    Published 2000
    Full Text via HEAL-Link
    Electronic eBook
  5. 25
    String Analysis for Software Verification and Security
    Full Text via HEAL-Link
    Electronic eBook
  6. 26
    Proceedings of the Eighth International Workshop on Dynamic Analysis
    Published 2010
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 27
    Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
    Published 2009
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 28
    Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning
    Published 2008
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 29
    Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 30
    Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
    Published 2016
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 31
    Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 32
    Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Published 2019
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 33
    Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems
    Published 2014
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 34
    Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
    Published 2010
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 35
    Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2002
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 36
    Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
    Published 2010
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 37
    Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 38
    Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Published 2005
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 39
    Proceedings of the Third Workshop on Behavioural Modelling
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 40
    Proceedings of the 14th International Conference on Modularity
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search