On a Machine-Checked Proof for Fraction Arithmetic over a GCD Domain

被引：0
|
作者：
S. D. Meshveliani
机构：
[1] Ailamazyan Program Systems Institute,
[2] Russian Academy of Sciences,undefined
来源：
Programming and Computer Software | 2020年 / 46卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：110 / 119
页数：9
相关论文
共 50 条
  • [21] A machine-checked formalization of the random oracle model
    Barthe, G
    Tarento, S
    TYPES FOR PROOFS AND PROGRAMS, 2006, 3839 : 33 - 49
  • [22] Machine-checked security proofs of cryptographic signature schemes
    Tarento, S
    COMPUTER SECURITY - ESORICS 2005, PROCEEDINGS, 2005, 3679 : 140 - 158
  • [23] Machine-Checked Proofs of Privacy for Electronic Voting Protocols
    Cortier, Veronique
    Dragan, Constantin Catalin
    Dupressoir, Francois
    Schmidt, Benedikt
    Strub, Pierre-Yves
    Warinschi, Bogdan
    2017 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP), 2017, : 993 - 1008
  • [24] Machine-Checked Sequencer for Critical Embedded Code Generator
    Izerrouken, Nassima
    Pantel, Marc
    Thirioux, Xavier
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5885 : 521 - 540
  • [25] Practical Machine-Checked Formalization of Change Impact Analysis
    Palmskog, Karl
    Celik, Ahmet
    Gligoric, Milos
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2020, 2020, 12079 : 137 - 157
  • [26] Automated Machine-Checked Hybrid System Safety Proofs
    Geuvers, Herman
    Koprowski, Adam
    Synek, Dan
    van der Weegen, Eelis
    INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 259 - +
  • [27] Towards a machine-checked Java']Java specification book
    Reus, B
    Hein, T
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 480 - 497
  • [28] Machine-Checked Security for XMSS as in RFC 8391 and SPHINCS+
    Barbosa, Manuel
    Dupressoir, Francois
    Gregoire, Benjamin
    Hulsing, Andreas
    Meijers, Matthias
    Strub, Pierre-Yves
    ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, 2023, 14085 : 421 - 454
  • [29] A machine-checked formalization of the generic model and the random oracle model
    Barthe, G
    Cederquist, J
    Tarento, S
    AUTOMATED REASONING, PROCEEDINGS, 2004, 3097 : 385 - 399
  • [30] WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
    Veronese, Lorenzo
    Farinier, Benjamin
    Bernardo, Pedro
    Tempesta, Mauro
    Squarcina, Marco
    Maffei, Matteo
    2023 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP, 2023, : 2761 - 2779
12345