The Lambda approach to system verification

被引：0
|
作者：
Hughes, RB [1 ]
Musgrave, G [1 ]
机构：
[1] ABSTRACT HARDWARE LTD,UXBRIDGE UB8 3PQ,MIDDX,ENGLAND
来源：
HARDWARE/SOFTWARE CO-DESIGN | 1996年 / 310卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：427 / 451
页数：25
相关论文
共 50 条
  • [31] ON LAMBDA SYSTEM OF CIRCLES
    MOLNAR, J
    ACTA MATHEMATICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1967, 18 (3-4): : 405 - &
  • [32] CONDITIONAL LAMBDA-THEORIES AND THE VERIFICATION OF STATIC PROPERTIES OF PROGRAMS
    WAND, M
    WANG, ZY
    INFORMATION AND COMPUTATION, 1994, 113 (02) : 253 - 277
  • [33] Verification of Memory Transactions in AXI Protocol using System Verilog Approach
    Mahesh, G.
    Sakthivel, S. M.
    2015 INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND SIGNAL PROCESSING (ICCSP), 2015, : 860 - 864
  • [34] Offline signature verification system: a graph neural network based approach
    Roy, Sourodeep
    Sarkar, Debjit
    Malakar, Samir
    Sarkar, Ram
    JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2021, 14 (7) : 8219 - 8229
  • [35] Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system
    Yin, Jiaqi
    Chen, Sini
    Lv, Yixiao
    Zhu, Huibiao
    SOFTWARE QUALITY JOURNAL, 2024, 32 (03) : 1175 - 1202
  • [36] An Approach to Automated Verification of Multi-Level Security System Models
    Stasiak, Andrzej
    Zielinski, Zbigniew
    NEW RESULTS IN DEPENDABILITY AND COMPUTER SYSTEMS, 2013, 224 : 375 - 388
  • [37] Modular platform approach for UWB radar system design and verification challenges
    Eged, Bertalan
    Fiengo, Raffaele
    Hall, David A.
    Microwave Journal, 2014, (SUPPL. AUGUST) : 8 - 14
  • [38] A framework for offline signature verification system: Best features selection approach
    Sharif, Muhammad
    Khan, Muhammad Attique
    Faisal, Muhammad
    Yasmin, Mussarat
    Fernandes, Steven Lawrence
    PATTERN RECOGNITION LETTERS, 2020, 139 : 50 - 59
  • [39] Handwritten signature verification system using hybrid transfer learning approach
    Upadhyay, Rashmi Rathi
    Singh, Koushlendra Kumar
    EVOLVING SYSTEMS, 2024, 15 (06) : 2313 - 2322
  • [40] An ACP approach of ground experimental verification for global navigation satellite system
    Yang, Jun
    Fan, Li
    Ming, De-Xiang
    Huang, Wen-De
    Yuhang Xuebao/Journal of Astronautics, 2015, 36 (02): : 165 - 172
12345