A SEMANTICS DRIVEN TEMPORAL VERIFICATION SYSTEM

被引：0
|
作者：
GOUGH, GD
BARRINGER, H
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 300卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：20 / 33
页数：14
相关论文
共 50 条
  • [1] Semantics Driven Hardware Design, Implementation, and Verification with ReWire
    Procter, Adam
    Harrison, William L.
    Graves, Ian
    Becchi, Michela
    Allwein, Gerard
    [J]. ACM SIGPLAN NOTICES, 2015, 50 (05)
  • [2] Simulator Semantics for System Level Formal Verification
    Mancini, Toni
    Mari, Federico
    Massini, Annalisa
    Melatti, Igor
    Tronci, Enrico
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (193): : 86 - 99
  • [3] Efficient Operational Semantics for EB3 for Verification of Temporal Properties
    Vekris, Dimitris
    Dima, Catalin
    [J]. FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2013, 2013, 8161 : 133 - 149
  • [4] Temporal BI: Proof system, semantics and translations
    Kamide, Norihiro
    [J]. THEORETICAL COMPUTER SCIENCE, 2013, 492 : 40 - 69
  • [5] Temporal semantics - Temporal relations
    不详
    [J]. FOLIA LINGUISTICA, 1998, 32 (1-2) : 156 - 156
  • [6] Inductive Temporal Formula Specifications for System Verification
    Yamada, Chikatoshi
    Nagata, Yasunori
    Nakao, Zensho
    [J]. JOURNAL OF ADVANCED COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, 2005, 9 (03) : 321 - 328
  • [7] Axiomatic Semantics for Compiler Verification
    Schaefer, Steven
    Schneider, Sigurd
    Smolka, Gert
    [J]. PROCEEDINGS OF THE 5TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP'16), 2016, : 188 - 196
  • [8] Data-Driven Verification under Signal Temporal Logic Constraints
    Salamati, Ali
    Soudjani, Sadegh
    Zamani, Majid
    [J]. IFAC PAPERSONLINE, 2020, 53 (02): : 76 - 81
  • [9] Data-driven temporal filters and alternatives to GMM in speaker verification
    Malayath, N
    Hermansky, H
    Kajarekar, S
    Yegnanarayana, B
    [J]. DIGITAL SIGNAL PROCESSING, 2000, 10 (1-3) : 55 - 74
  • [10] Tense And Temporal Semantics
    Joshua M. Mozersky
    [J]. Synthese, 2000, 124 : 257 - 279
12345