Rigorous proofs of program correctness without formal logic

被引:0
|
作者
Wadkins, J.R. Jefferson
机构
来源
SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education) | 1995年 / 27卷 / 01期
关键词
D O I
10.1145/199691.199834
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [31] Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
    Lanzinger, Florian
    Martin, Christian
    Reiche, Frederik
    Teuber, Samuel
    Heinrich, Robert
    Weigl, Alexander
    39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, 2024, : 1702 - 1711
  • [32] Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
    Lanzinger, Florian
    Martin, Christian
    Reiche, Frederik
    Teuber, Samuel
    Heinrich, Robert
    Weigl, Alexander
    Proceedings of the ACM Symposium on Applied Computing, : 1702 - 1711
  • [33] Programming language elements for correctness proofs
    Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary
    Acta Cybern, 2008, 3 (403-425):
  • [34] Functional correctness proofs of encryption algorithms
    Duan, JJ
    Hurd, J
    Li, GD
    Owens, S
    Slind, K
    Zhang, JX
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 519 - 533
  • [35] Correctness proofs for SCADA communication protocols
    Graham, James H.
    Patel, Sandip C.
    WMSCI 2005: 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Vol 2, 2005, : 392 - 397
  • [36] ABSTRACT IMPLEMENTATIONS AND THEIR CORRECTNESS PROOFS.
    Nourani, C.Farshid
    Journal of the ACM, 1983, 30 (02): : 343 - 359
  • [37] Modular correctness proofs of behavioural implementations
    Michel Bidoit
    Rolf Hennicker
    Acta Informatica, 1998, 35 : 951 - 1005
  • [38] Modular correctness proofs of behavioural implementations
    Bidoit, M
    Hennicker, R
    ACTA INFORMATICA, 1998, 35 (11) : 951 - 1005
  • [39] Programming Language Elements for Correctness Proofs
    Devai, Gergely
    ACTA CYBERNETICA, 2008, 18 (03): : 403 - 425
  • [40] AXIOMATIC PROOFS OF TOTAL CORRECTNESS OF PROGRAMS
    SOUNDARARAJAN, N
    INFORMATION PROCESSING LETTERS, 1979, 8 (05) : 274 - 277