Showing 221 - 240 results of 315 for search '"software verification"', query time: 0.13s Refine Results
  1. 221
    Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  2. 222
    Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  3. 223
    Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings /
    Published 2019
    Table of Contents: “…When are Software Verification Results Valid for Approximate Hardware -- Testing Robots using CSP…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 224
    Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
    Published 2017
    Table of Contents: “… for Markov Automata -- SAT and SMT -- HiFrog: SMT-based Function Summarization for Software Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 225
    Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Direct Algorithm for Multi-valued Bounded Model Checking -- Software Verification -- Model Checking…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 226
    Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Model Checker and Its Implementation -- Software Verification with BLAST.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 227
    Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papers /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  8. 228
    Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  9. 229
    Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  10. 230
    Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Specification and Software Verification and Validation -- Distributed Teaching of Formal Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 231
    Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  12. 232
    Software Engineering Research, Management and Applications 2010
    Published 2010
    Table of Contents: “… Source Software -- Verification of the Correctness in Composed UML Behavioural Diagrams -- Development…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 233
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
    Published 2012
    Table of Contents: “….- An Incremental Learning Algorithm for Extended Mealy Automata.- Learning Techniques for Software Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 234
    Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
    Published 2016
    Table of Contents: “… -- Competition on Software Verification: SV-COMP -- Reliable and Reproducible Competition Results with BenchExec…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 235
    Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    Published 2001
    Table of Contents: “… of Superscalar Microprocessors -- Software Verification -- Boolean and Cartesian Abstraction for Model Checking C…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 236
    Advances in Computing and Data Sciences Second International Conference, ICACDS 2018, Dehradun, India, April 20-21, 2018, Revised Selected Papers, Part I /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  17. 237
    Advances in Computing and Data Sciences Second International Conference, ICACDS 2018, Dehradun, India, April 20-21, 2018, Revised Selected Papers, Part II /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  18. 238
    Onboard Computers, Onboard Software and Satellite Operations An Introduction /
    by Eickhoff, Jens
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  19. 239
    Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
    Published 2013
    Table of Contents: “… User-Provided Axioms in Software Verification Conditions -- Formal Reliability Analysis of Protective…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 240
    Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
    Published 2012
    Table of Contents: “… -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search