Showing 281 - 300 results of 315 for search '"software verification"', query time: 0.16s Refine Results
  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 /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2010
    Table of Contents: “… for Infinite-State Concurrent Systems -- Tracking Heaps That Hop with Heap-Hop -- Software Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 283
    Model-Based Testing of Reactive Systems Advanced Lectures /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  4. 284
    Computer Safety, Reliability and Security 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings /
    Published 2001
    Table of Contents: “… for Software Verification Tools with Regard to RTCA/DO-178B -- Safety Patterns - The Key to Formal…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 285
    Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
    Published 2013
    Table of Contents: “… -- Reuse in Software Verification by Abstract Method Calls -- Dynamic Logic with Trace Semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 286
    Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- Incremental Slicing -- Assume-Guarantee Software Verification Based on Game Semantics -- Optimized Execution…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 287
    Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings /
    Published 2005
    Table of Contents: “… -- Generating Polynomial Invariants for Hybrid Systems -- Modeling, Optimization and Computation for Software…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  9. 289
    FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
    Published 2002
    Table of Contents: “… for Software Verification -- Closing Open SDL-Systems for Model Checking with DTSpin -- A Generalised Sweep…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2003
    Table of Contents: “… -- Software Verification -- Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 291
    Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
    Published 2004
    Table of Contents: “… -- A Language for Configuring Multi-level Specifications -- Flexible Proof Reuse for Software…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 292
    Simula Research Laboratory by Thinking Constantly about it /
    Published 2010
    Table of Contents: “… Until Proved Correct -- Software Verification — A Scalable, Model-Driven, Empirically Grounded Approach…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2002
    Table of Contents: “… of Attribute Grammars -- Software Verification -- Relative Completeness of Abstraction Refinement for Software…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2003
    Table of Contents: “… in Software Verification -- More Computation Power for a Denotational Semantics for First Order Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2006
    Table of Contents: “… Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 296
    Advances in Case-Based Reasoning 4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings /
    Published 1998
    Table of Contents: “… in diabetes therapy revision -- Similarities and reuse of proofs in formal software verification -- Structured…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 297
    Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings /
    Published 1997
    Full Text via HEAL-Link
    Electronic eBook
  18. 298
    Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Programs -- Using Graph Transformations and Graph Abstractions for Software Verification.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 299
    Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
    Published 2013
    Table of Contents: “… for Producing Effective Interpolants in SAT-Based Software Verification -- Incremental Tabling for Query-Driven…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 300
    Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
    Published 2000
    Table of Contents: “… Approach to Software Verification -- Sonic Partial Deduction -- On Perfect Supercompilation -- Linear Time…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search