Provably correct runtime monitoring

被引：0
|
作者：
School of Computer Science and Communication, KTH, Sweden [1 ]
不详 [2 ]
机构：
来源：
J. Logic. Algebraic Program. | 1600年 / 5卷 / 304-339期
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Automata theory - Application programs
引用
收藏
相关论文
共 50 条
  • [1] Provably correct runtime monitoring
    Aktug, Irem
    Dam, Mads
    Gurov, Dilian
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (05): : 304 - 339
  • [2] Provably correct runtime monitoring (extended abstract)
    Aktug, Irem
    Dam, Mads
    Gurov, Dilian
    [J]. FM 2008: FORMAL METHODS, PROCEEDINGS, 2008, 5014 : 262 - +
  • [3] Provably correct runtime enforcement of non-interference properties
    Venkatakrishnan, V. N.
    Xu, Wei
    DuVarney, Daniel C.
    Sekar, R.
    [J]. INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS, 2006, 4307 : 332 - +
  • [4] Provably-Robust Runtime Monitoring of Neuron Activation Patterns
    Cheng, Chih-Hong
    [J]. PROCEEDINGS OF THE 2021 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2021), 2021, : 1310 - 1313
  • [5] A PROVABLY CORRECT COMPILER GENERATOR
    PALSBERG, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 582 : 418 - 434
  • [6] PROVABLY CORRECT CRITICAL PATHS
    MCGEER, PC
    BRAYTON, RK
    [J]. ADVANCED RESEARCH IN VLSI : PROCEEDINGS OF THE DECENNIAL CALTECH CONFERENCE ON VLSI, 1989, : 119 - 142
  • [7] PROVABLY CORRECT THEORIES OF ACTION
    LIN, FZ
    SHOHAM, Y
    [J]. JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY, 1995, 42 (02): : 293 - 320
  • [8] Provably Correct Implementations of Services
    Bruni, Roberto
    De Nicola, Rocco
    Loreti, Michele
    Mezzina, Leonardo Gaetano
    [J]. TRUSTWORTHY GLOBAL COMPUTING, 2009, 5474 : 69 - +
  • [9] Provably correct inline monitoring for multithreaded Java']Java-like programs
    Dam, Mads
    Jacobs, Bart
    Lundblad, Andreas
    Piessens, Frank
    [J]. JOURNAL OF COMPUTER SECURITY, 2010, 18 (01) : 37 - 59
  • [10] DISCONTINUITIES OF PROVABLY CORRECT OPERATORS ON THE PROVABLY RECURSIVE REAL NUMBERS
    COLLINS, WJ
    YOUNG, P
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) : 913 - 920
12345