THE USE OF HOARE LOGIC IN THE VERIFICATION OF HORIZONTAL MICROPROGRAMS

被引：5
|
作者：
DASGUPTA, S [1 ]
WAGNER, A [1 ]
机构：
[1] UNIV TORONTO,DEPT COMP SCI,TORONTO M5S 1A4,ONTARIO,CANADA
来源：
INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES | 1984年 / 13卷 / 06期
关键词：
D O I：
10.1007/BF00985823
中图分类号：
G25 [图书馆学、图书馆事业]; G35 [情报学、情报工作];
学科分类号：
1205 ; 120501 ;
摘要：
引用
收藏
页码：461 / 490
页数：30
相关论文
共 50 条
  • [1] Formal Verification of mCWQ Using Extended Hoare Logic
    Xie, Wanling
    Zhu, Huibiao
    Wu, Xi
    Phan Cong Vinh
    [J]. MOBILE NETWORKS & APPLICATIONS, 2019, 24 (01): : 134 - 144
  • [2] Formal Verification of mCWQ Using Extended Hoare Logic
    Wanling Xie
    Huibiao Zhu
    Xi Wu
    Phan Cong Vinh
    [J]. Mobile Networks and Applications, 2019, 24 : 134 - 144
  • [3] Formal Verification of Quantum Algorithms Using Quantum Hoare Logic
    Liu, Junyi
    Zhan, Bohua
    Wang, Shuling
    Ying, Shenggang
    Liu, Tao
    Li, Yangjia
    Ying, Mingsheng
    Zhan, Naijun
    [J]. COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 187 - 207
  • [4] HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic
    Sheng, Huanhuan
    Bentkamp, Alexander
    Zhan, Bohua
    [J]. FORMAL METHODS, FM 2023, 2023, 14000 : 160 - 178
  • [5] HEngineering Hoare Logic-based Program Verification in K Framework
    Arusoaie, Andrei
    [J]. 2013 15TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2013), 2014, : 177 - 184
  • [6] Formal verification method for cryptographic software security based on Hoare logic
    Xiao K.
    [J]. Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (Engineering and Technology Edition), 2019, 49 (04): : 1301 - 1306
  • [7] Java']Java program verification via a Hoare logic with abrupt termination
    Huisman, M
    Jacobs, B
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 284 - 303
  • [8] AN ALGORITHM FOR LOCAL COMPACTION OF HORIZONTAL MICROPROGRAMS
    RAO, SU
    MAJUMDAR, AK
    [J]. INFORMATION PROCESSING LETTERS, 1985, 20 (01) : 29 - 33
  • [9] Reverse Hoare Logic
    de Vries, Edsko
    Kontavas, Vasileios
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 155 - 171
  • [10] Hoare logic in the abstract
    Martin, Ursula
    Mathiesen, Erik A.
    Oliva, Paulo
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 501 - 515
12345