Safety verification of dynamic storage management in coq

被引：0
|
作者：
Xiang, Sen [1 ]
Chen, Yiyun [1 ]
Lin, Chunxiao [1 ]
Li, Long [1 ]
机构：
[1] Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China
来源：
Jisuanji Yanjiu yu Fazhan/Computer Research and Development | 2007年 / 44卷 / 02期
关键词：
Software engineering;
D O I：
10.1360/crad20070225
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：361 / 367
相关论文
共 7 条
  • [1] Analyzing Different Validation and Verification Techniques for Safety Critical Software Systems
    Ahmad, Waqas
    Qamar, Usman
    Hassan, Shoaib
    PROCEEDINGS OF 2015 6TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE, 2015, : 367 - 370
  • [2] Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk)
    Beyer, Dirk
    PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2022, 2022, : 1 - 2
  • [3] Quality management and safety evaluation for prefabricated buildings
    Zhong C.
    Zhang W.
    International Journal of Performability Engineering, 2020, 16 (05) : 811 - 820
  • [4] Software project management based on dynamic programming algorithm
    Li, Zhidong
    Yu, Xiaohuan
    PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON INFORMATION SCIENCES, MACHINERY, MATERIALS AND ENERGY (ICISMME 2015), 2015, 126 : 883 - 887
  • [5] SOFTWARE ARCHITECTURE FOR DIGITALIZATION, STORAGE AND MANAGEMENT OF PROGRAMMING EXAMS AND TASKS (DIGPAPER)
    Petrov, Milen
    Aleksieva-Petrova, Adelina
    Petrov, Julian
    ICERI2014: 7TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION, 2014, : 64 - 73
  • [6] Air traffic control - Safety, performance, software engineering, system management
    Steeg, M
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT I, 2002, : 251 - 256
  • [7] Dynamic self-adapting software architecture for replica management in grids
    Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China
    Ruan Jian Xue Bao, 2006, 6 (1436-1447):
1