يعرض 1 - 10 نتائج من 4,273 نتيجة بحث عن '"CoQ"', وقت الاستعلام: 1.03s تنقيح النتائج
  1. 1
    مؤتمر
    A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification

    المؤلفون: Gauthier, Louis, Prevosto, Virgile, Signoles, Julien

    المصدر: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :100-110 Apr, 2024

    Relation: 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    Deductive Formal Verification of Synthesizable, Transaction-Level Hardware Designs Using Coq

    المؤلفون: Strauch, Tobias

    المصدر: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024. :1-6 Mar, 2024

    Relation: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Formal Proof of Contract Theorem in First-Order Logic in Coq

    المؤلفون: Wang, Qiming, Liu, Jianghao, Guo, Dakai, Yu, Wensheng

    المصدر: 2023 9th International Conference on Computer and Communications (ICCC) Computer and Communications (ICCC), 2023 9th International Conference on. :1520-1524 Dec, 2023

    Relation: 2023 9th International Conference on Computer and Communications (ICCC)

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    مؤتمر
    Formal Verification of Taylor’s Theorem in Coq

    المؤلفون: Gao, Chang, Zhou, Yanwen, Yu, Wensheng

    المصدر: 2023 9th International Conference on Computer and Communications (ICCC) Computer and Communications (ICCC), 2023 9th International Conference on. :1510-1514 Dec, 2023

    Relation: 2023 9th International Conference on Computer and Communications (ICCC)

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    مؤتمر
    What Really is pWCET? A Rigorous Axiomatic Proposal

    المؤلفون: Bozhko, Sergey, Markovic, Filip, von der Bruggen, Georg, Brandenburg, Bjorn B.

    المصدر: 2023 IEEE Real-Time Systems Symposium (RTSS) RTSS Real-Time Systems Symposium (RTSS), IEEE 2023. :13-26 Dec, 2023

    Relation: 2023 IEEE Real-Time Systems Symposium (RTSS)

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    مؤتمر
    Formal Proof of the Mean Value Theorem Based on Coq

    المؤلفون: Zhou, Yanwen, Gao, Chang, Yu, Wensheng

    المصدر: 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :5726-5730 Nov, 2023

    Relation: 2023 China Automation Congress (CAC)

    Full Text Finder
    أضف إلى المفضلة
  7. 7
    مؤتمر
    Formalizing the Term Substitution Theorem in First-Order Logic within the Coq Proof Assistant

    المؤلفون: Guo, Dakai, Wang, Qiming, Liu, Jianghao, Yu, Wensheng

    المصدر: 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :2792-2796 Nov, 2023

    Relation: 2023 China Automation Congress (CAC)

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    مؤتمر
    Formalization of Dedekind Fundamental Theorem in Coq

    المؤلفون: Leng, Shukun, Guo, Dakai, Yu, Wensheng

    المصدر: 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :6683-6687 Nov, 2023

    Relation: 2023 China Automation Congress (CAC)

    Full Text Finder
    أضف إلى المفضلة
  9. 9
    مؤتمر
    A Case Study in Formalizing Hilbert's Foundations of Geometry in Coq: Establishing Key Properties of Lines in Hilbert's Axiom System

    المؤلفون: Zhang, Qimeng, Yu, Wensheng

    المصدر: 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :1926-1930 Nov, 2023

    Relation: 2023 China Automation Congress (CAC)

    Full Text Finder
    أضف إلى المفضلة
  10. 10
    مؤتمر
    Slimmer Formal Proofs for Mathematical Libraries

    المؤلفون: de Lamarliere, Paul Geneau, Melquiond, Guillaume, Faissole, Florian

    المصدر: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH) ARITH Computer Arithmetic (ARITH), 2023 IEEE 30th Symposium on. :32-35 Sep, 2023

    Relation: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH)

    Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء