Showing 1 - 20 results of 320 for search '"formal verification"', query time: 0.09s Refine Results
  1. 1
    Advanced Formal Verification
    Published 2004
    Table of Contents: “…-Based Verification -- Formal Verification for Nonlinear Analog Systems: Approaches to Model…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Scalable Techniques for Formal Verification
    by Ray, Sandip
    Published 2010
    Table of Contents: “…Preliminaries -- Overview of Formal Verification -- to ACL2 -- Sequential Program Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Scalable Techniques for Formal Verification
    by Ray, Sandip
    Published 2010
    Get full text
    Electronic Kit Book
  4. 4
    Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    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
  6. 6
    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
  7. 7
    Formal Verification of Floating-Point Hardware Design A Mathematical Approach /
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    SAT-Based Scalable Formal Verification Solutions
    by Ganai, Malay K., Gupta, Aarti
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Proceedings of VERkshop III - A Formal Verification Workshop [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985
    Published 1985
    Book
  10. 10
    Industrial used of formal method : formal verification /
    Published 2012
    Full Text via HEAL-Link
    eBook
  11. 11
    Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
    by Herdt, Vladimir
    Published 2016
    Table of Contents: “…Verification of Systems -- Introduction to Formal Verification of SystemC Models -- Symbolic Model…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    SVA: The Power of Assertions in SystemVerilog
    Table of Contents: “… Considerations -- Part V. Formal Verification -- Introduction to Assertion-Based Formal Verification.- Formal…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Design and Verification of Microprocessor Systems for High-Assurance Applications
    Published 2010
    Table of Contents: “… Divider -- Use of Formal Verification at Centaur Technology -- Designing Tunable, Verifiable Cryptographic…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    The Power of Assertions in SystemVerilog
    Table of Contents: “… Verification -- Formal Verification and Models -- Clocks -- Resets -- Procedural Concurrent Assertions…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
    Table of Contents: “… -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Collaborative Computing: Networking, Applications and Worksharing 14th EAI International Conference, CollaborateCom 2018, Shanghai, China, December 1-3, 2018, Proceedings /
    Published 2019
    Table of Contents: “… and Formal Verification -- Wireless and Testbed Application -- Uncertainty Analytics and Formal Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Formal System Verification State-of the-Art and Future Trends /
    Published 2018
    Table of Contents: “… -- Formal Verification - The Industrial Perspective.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
    by Singh, Gaurav, Shukla, Sandeep K.
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report /
    Published 2004
    Table of Contents: “… -- to Subject Area “Verification” -- “UML–ising” Formal Techniques -- Model Based Formal Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
    Published 2001
    Table of Contents: “… in Automatic Verification -- Efficient Debugging in a Formal Verification Environment -- Model Checking 2…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search