Εμφανίζονται 1 - 20 Αποτελέσματα από 39 για την αναζήτηση '"ACL2"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
    Έκδοση 2009
    “…ACL2 '09…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 2
    Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
    Έκδοση 2006
    “…ACL2 '06…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Scalable Techniques for Formal Verification
    ανά Ray, Sandip
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Preliminaries -- Overview of Formal Verification -- to ACL2 -- Sequential Program Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… in Isabelle/HOLCF -- Meta Reasoning in ACL2 -- Reasoning About Java Programs with Aliasing and Frame…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    The Seventeen Provers of the World Foreword by Dana S. Scott /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Informal -- HOL -- Mizar -- PVS -- Coq -- Otter/Ivy -- Isabelle/Isar -- Alfa/Agda -- ACL2 -- PhoX…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Quick Hits in Emergency Medicine
    ανά Allen, Brandon, Ganti, Latha, Desai, Bobby
    Έκδοση 2013
    Πίνακας περιεχομένων: “…1. ACLS -- 2. Intubation, Airway, and Mechanical Ventilation -- 3. Sepsis and Resuscitation -- 4…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Design and Verification of Microprocessor Systems for High-Assurance Applications
    Έκδοση 2010
    Πίνακας περιεχομένων: “…ACL2 and Its Applications to Digital System Verification -- A Mechanically Verified Commercial SRT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    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 /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… with Mathematica and ACL2 -- Semi-formal Verification of Memory Systems by Symbolic Simulation -- CTL May…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Formal Verification of Floating-Point Hardware Design A Mathematical Approach /
    ανά Russinoff, David M., Russinoff, David M.
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Logic Based Program Synthesis and Transformation 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Formal Reasoning about Efficient Data Structures: A Case Study in ACL2 -- Analysis -- A Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Using Refinement -- Java Program Verification via a JVM Deep Embedding in ACL2 -- Reasoning About CBV…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Will This Be Formal? -- Tutorials -- A Short Presentation of Coq -- An ACL2 Tutorial -- A Brief Overview of PVS -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Embedded DSLs -- Toward a Practical Module System for ACL2 -- Networks and Data -- Declarative Network…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Formalizing Rewriting in the ACL2 Theorem Prover -- Additional Comments on Conjectures, Hypotheses…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… to Your Computer so that It Will Listen -- Single-Threaded Objects in ACL2 -- Regular Papers -- Modeling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…-Oriented Structuring for Z Based on Views -- Component Reuse in B Using ACL2 -- GeneSyst: A Tool to Reason…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Variables and Sequence Functions -- Verified Computer Algebra in Acl2 -- Polynomial Interpretations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Certified Polynomial-Based Decision Procedure for Propositional Logic -- Finite Set Theory in ACL2…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Transformation -- Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers -- A Proof System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… of Dickson's Lemma in ACL2 -- Imperative Object-Based Calculi in Co-inductive Type Theories -- Congruence…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email