Verifying Hyperproperties of Hardware Systems

被引：0
|
作者：
Finkbeiner, Bernd [1 ]
Rabe, Markus [2 ]
机构：
[1] Saarland Univ, Saarbrucken, Germany
[2] Univ Calif Berkeley, Berkeley, CA USA
来源：
PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016) | 2016年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：5 / 5
页数：1
相关论文
共 50 条
  • [1] Verifying Hyperproperties With TLA
    Lamport, Leslie
    Schneider, Fred B.
    2021 IEEE 34TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2021), 2021, : 650 - 665
  • [2] Verifying Bounded Subset-Closed Hyperproperties
    Mastroeni, Isabella
    Pasqua, Michele
    STATIC ANALYSIS (SAS 2018), 2018, 11002 : 263 - 283
  • [3] A UNIFIED FRAMEWORK FOR DESCRIBING AND VERIFYING HARDWARE SYNCHRONOUS SEQUENTIAL SYSTEMS
    THUAU, G
    BERKANE, B
    FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (03) : 259 - 276
  • [4] Monitorable hyperproperties of nonterminating systems
    Damanafshan, Morteza
    Fallah, Mehran S.
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 128
  • [5] Verifying hardware components with JACK
    DeNicola, R
    Fantechi, A
    Gnesi, S
    Larosa, S
    Ristori, G
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 246 - 260
  • [6] Formal Verification of Hyperproperties for Control Systems
    Anand, Mahathi
    Murali, Vishnu
    Trivedi, Ashutosh
    Zamani, Majid
    PROCEEDINGS OF 2021 WORKSHOP ON COMPUTATION-AWARE ALGORITHMIC DESIGN FOR CYBER-PHYSICAL SYSTEMS (CAADCPS), 2021, : 29 - 30
  • [7] Synthesizing Reactive Systems from Hyperproperties
    Finkbeiner, Bernd
    Hahn, Christopher
    Lukert, Philip
    Stenger, Marvin
    Tentrup, Leander
    COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 289 - 306
  • [8] Embedded languages for describing and verifying hardware
    Claessen, K.
    Doktorsavhandlingar vid Chalmers Tekniska Hogskola, 2001, (1698):
  • [9] Verifying Hardware Optimizations for Efficient Acceleration
    Wang, Qianzhou
    Wong, Yat
    Que, Zhiqiang
    Luk, Wayne
    PROCEEDINGS OF THE 12TH INTERNATIONAL SYMPOSIUM ON HIGHLY EFFICIENT ACCELERATORS AND RECONFIGURABLE TECHNOLOGIES, HEART 2022, 2022, : 17 - 23
  • [10] Verifying hardware in its software context
    Kurshan, R
    Levin, V
    Minea, M
    Peled, D
    Yenigun, H
    1997 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1997, : 742 - 749
12345