Εμφανίζονται 1 - 20 Αποτελέσματα από 320 για την αναζήτηση '"formal verification"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 1
    Advanced Formal Verification
    Έκδοση 2004
    Πίνακας περιεχομένων: “…-Based Verification -- Formal Verification for Nonlinear Analog Systems: Approaches to Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Scalable Techniques for Formal Verification
    ανά Ray, Sandip
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Preliminaries -- Overview of Formal Verification -- to ACL2 -- Sequential Program Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Scalable Techniques for Formal Verification
    ανά Ray, Sandip
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 4
    Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /
    ανά Zhan, Naijun, Wang, Shuling, Zhao, Hengjun
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Formal Verification of Floating-Point Hardware Design A Mathematical Approach /
    ανά Russinoff, David M., Russinoff, David M.
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    SAT-Based Scalable Formal Verification Solutions
    ανά Ganai, Malay K., Gupta, Aarti
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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
    Έκδοση 1985
    Βιβλίο
  10. 10
    Industrial used of formal method : formal verification /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  11. 11
    Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
    ανά Herdt, Vladimir
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Verification of Systems -- Introduction to Formal Verification of SystemC Models -- Symbolic Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    SVA: The Power of Assertions in SystemVerilog
    Πίνακας περιεχομένων: “… Considerations -- Part V. Formal Verification -- Introduction to Assertion-Based Formal Verification.- Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Design and Verification of Microprocessor Systems for High-Assurance Applications
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Divider -- Use of Formal Verification at Centaur Technology -- Designing Tunable, Verifiable Cryptographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    The Power of Assertions in SystemVerilog
    Πίνακας περιεχομένων: “… Verification -- Formal Verification and Models -- Clocks -- Resets -- Procedural Concurrent Assertions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
    Πίνακας περιεχομένων: “… -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Collaborative Computing: Networking, Applications and Worksharing 14th EAI International Conference, CollaborateCom 2018, Shanghai, China, December 1-3, 2018, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… and Formal Verification -- Wireless and Testbed Application -- Uncertainty Analytics and Formal Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Formal System Verification State-of the-Art and Future Trends /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Formal Verification - The Industrial Perspective.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
    ανά Singh, Gaurav, Shukla, Sandeep K.
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- to Subject Area “Verification” -- “UML–ising” Formal Techniques -- Model Based Formal Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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 /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… in Automatic Verification -- Efficient Debugging in a Formal Verification Environment -- Model Checking 2…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email