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 条
  • [11] Top verification of low power system with "checkerboard" approach
    Oudinot, Jean
    INTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION, 2006, 4148 : 672 - 672
  • [12] Techniques for formal verification of digital systems: A system approach
    Shojaei, H
    Ghayoumi, H
    PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN, 2004, : 444 - 449
  • [13] System Verification and Validation Approach Using the MagicGrid Framework
    Morkevicius, Aurelijus
    Aleksandraviciene, Aiste
    Strolia, Zilvinas
    INCOSE International Symposium, 2022, 32 (01) : 767 - 781
  • [14] A multi-agent system approach to power system topology verification
    Wilkosz, Kazimierz
    INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2007, 2007, 4881 : 970 - 979
  • [15] A Verification Approach for System-Level Concurrent Programs
    Daum, Matthias
    Doerrenbaecher, Jan
    Schmidt, Mareike
    Wolff, Burkhart
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 5295 : 161 - 176
  • [16] Optimized Classification Approach For Offline Signature Verification System
    Thakare, Bhushan S.
    Deshmukh, Hemant R.
    2018 3RD INTERNATIONAL CONFERENCE FOR CONVERGENCE IN TECHNOLOGY (I2CT), 2018,
  • [17] An approach to the verification of the Center-TRACON Automation System
    Lygeros, J
    Pappas, GJ
    Sastry, S
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 289 - 304
  • [18] System approach to performance verification of the Planck cryogenic spacecraft
    Bhatia, Ravinder S.
    Damasio, Claudio
    Guillaume, Bernard
    JOURNAL OF SPACECRAFT AND ROCKETS, 2007, 44 (05) : 1107 - 1121
  • [19] An interdisciplinary approach for implementing an electronic transfusion verification system
    Brient, K.
    TRANSFUSION, 2008, 48 (02) : 245A - 245A
  • [20] LAMBDA-LAMBDA-ALPHA-BINDING WITH FADDEEVS APPROACH
    ROYCHOUDHURY, H
    GAUTAM, VP
    SURAL, DP
    JOURNAL OF PHYSICS G-NUCLEAR AND PARTICLE PHYSICS, 1976, 2 (12) : 909 - 915
12345