Numeric Truncation Security Predicate

被引：0
|
作者：
Mezhuev, Timofey [1 ,2 ]
Kobrin, Ilay [1 ,2 ]
Vishnyakov, Alexey [3 ]
Kuts, Daniil [1 ]
机构：
[1] Ivannikov Institute for System Programming of the Ras, Moscow, Russia
[2] Lomonosov Moscow State University, Moscow, Russia
[3] Yandex Cloud, Moscow, Russia
来源：
Proceedings - Ivannikov ISPRAS Open Conference | 2023年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
2023 Ivannikov ISPRAS Open Conference, ISPRAS 2023
中图分类号：
学科分类号：
摘要：
C++ (programming language) - Model checking - Open source software
引用
收藏
页码：84 / 92
相关论文
共 50 条
  • [1] Predicate abstraction of java programs with collections
    David R. Cheriton School of Computer Science, University of Waterloo, Canada
    ACM SIGPLAN Not., 10 (75-94):
  • [2] Verb sense disambiguation based on thesaurus of predicate-argument structure: An evaluation of thesaurus of predicate-argument structure for Japanese verbs
    Takeuchi, Koichi
    Tsuchiyama, Suguru
    Moriya, Masato
    Moriyasu, Yuuki
    Satoh, Koichi
    KEOD 2011 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, 2011, : 208 - 213
  • [3] Predicate-argument relevance model for chinese-to-naxi SMT
    School of Information Engineering and Automation, Kunming University of Science and Technology, Kunming, China
    不详
    J. Comput. Inf. Syst., 13 (4857-4861):
  • [4] Security Research: Program Analysis Meets Security
    Oracle Labs, Brisbane
    QLD
    4000, Australia
    Lect. Notes Comput. Sci., (162-168):
  • [5] SINS/OD integrated navigation algorithm considering odometer truncation error
    Zhou, Zhaofa
    Zhao, Zhiqian
    Zhang, Zhili
    Zeng, Jin
    Zhongguo Guanxing Jishu Xuebao/Journal of Chinese Inertial Technology, 2022, 30 (03): : 336 - 344
  • [6] CONTRIBUTION TO THE THEORY OF RECONSTRUCTION OF THE IMAGE OF A PAGE OF NUMERIC INFORMATION FROM A MAGNETIC HOLOGRAM.
    Akaev, A.
    Golubkova, M.N.
    Maiorov, S.A.
    Soviet Journal of Quantum Electronics (English translation of Kvantovaya Elektronika), 1976, 6 (03): : 366 - 368
  • [7] Rate-distortion development for optimal truncation in JPEG2000 imagery
    Dept. of Electrical and Computer Engineering, University of Dayton, Kettering Laboratory, 300 College Park, Dayton, OH 45469, United States
    不详
    Final Program Abstr. Book - Int. Symp. Commun., Control, Signal Process., ISCCSP,
  • [8] Information Security Matters: Selling Security's Value Proposition
    Ross, Steven J.
    ISACA Journal, 2023, 4 : 3 - 5
  • [9] Information security for hospitals and clinics: IT security is patient safety thanks to ISMS
    Cappelmann, Tim
    Technische Sicherheit, 2023, 13 (7-8): : 39 - 41
  • [10] Computers and security: Editorial
    Computers and Security, 2013, 35
12345