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 条
[31]   Timed hyperproperties [J].
Ho, Hsi-Ming ;
Zhou, Ruoyu ;
Jones, Timothy M. .
INFORMATION AND COMPUTATION, 2021, 280
[32]   Model Checking Timed Hyperproperties in Discrete-Time Systems [J].
Bonakdarpour, Borzoo ;
Prabhakar, Pavithra ;
Sanchez, Cesar .
NASA FORMAL METHODS (NFM 2020), 2020, 12229 :311-328
[33]   Monitoring hyperproperties [J].
Finkbeiner, Bernd ;
Hahn, Christopher ;
Stenger, Marvin ;
Tentrup, Leander .
FORMAL METHODS IN SYSTEM DESIGN, 2019, 54 (03) :336-363
[34]   Monitoring Hyperproperties [J].
Finkbeiner, Bernd ;
Hahn, Christopher ;
Stenger, Marvin ;
Tentrup, Leander .
RUNTIME VERIFICATION (RV 2017), 2017, 10548 :190-207
[35]   Monitoring hyperproperties [J].
Bernd Finkbeiner ;
Christopher Hahn ;
Marvin Stenger ;
Leander Tentrup .
Formal Methods in System Design, 2019, 54 :336-363
[36]   Temporal hyperproperties [J].
Finkbeiner, Bernd .
Bulletin of the European Association for Theoretical Computer Science, 2017, 2017 (123)
[37]   Synthesis from hyperproperties [J].
Finkbeiner, Bernd ;
Hahn, Christopher ;
Lukert, Philip ;
Stenger, Marvin ;
Tentrup, Leander .
ACTA INFORMATICA, 2020, 57 (1-2) :137-163
[38]   Mutation testing with hyperproperties [J].
Andreas Fellner ;
Mitra Tabaei Befrouei ;
Georg Weissenbacher .
Software and Systems Modeling, 2021, 20 :405-427
[39]   Verifying properties of hardware and software by predicate abstraction and model checking [J].
Bryant, RE ;
Rajamani, SK .
ICCAD-2004: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2004, :437-438
[40]   SpecCert: Specifying and Verifying Hardware-Based Security Enforcement [J].
Letan, Thomas ;
Chifflier, Pierre ;
Hiet, Guillaume ;
Neron, Pierre ;
Morin, Benjamin .
FM 2016: FORMAL METHODS, 2016, 9995 :496-512
12345