SPECIFICATION AND VERIFICATION OF DIGITAL SYSTEMS USING HIGHER-ORDER PREDICATE LOGIC.

被引：0
|
作者：
Hanna, F.K. [1 ]
Daeche, N. [1 ]
机构：
[1] Univ of Kent, Canterbury, Engl, Univ of Kent, Canterbury, Engl
来源：
| 1600年 / 133期
关键词：
ANALOGUE WAVEFORMS - AXIOMATIC THEORY - PREDICATE LOGIC - PROJECTION FUNCTIONS - SPECIFICATION;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
(Edited Abstract)
引用
收藏
相关论文
共 50 条
  • [21] ON HIGHER-ORDER LOGIC
    KOGALOVS.SR
    DOKLADY AKADEMII NAUK SSSR, 1966, 171 (06): : 1272 - &
  • [22] Hiord: A type-free higher-order logic programming language with predicate abstraction
    Cabeza, D
    Hermenegildo, M
    Lipton, J
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2004, PROCEEDINGS, 2004, 3321 : 93 - 108
  • [23] A MECHANIZED THEORY FOR THE VERIFICATION OF REAL-TIME PROGRAM CODE USING HIGHER-ORDER LOGIC
    CARDELLOLIVER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 375 - 392
  • [24] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 448 - 462
  • [25] CERES in higher-order logic
    Hetzl, Stefan
    Leitsch, Alexander
    Weller, Daniel
    ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (12) : 1001 - 1034
  • [26] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 851 - 851
  • [27] Superposition for Higher-Order Logic
    Alexander Bentkamp
    Jasmin Blanchette
    Sophie Tourret
    Petar Vukmirović
    Journal of Automated Reasoning, 2023, 67
  • [28] Higher-order computational logic
    Lloyd, JW
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, 2002, 2407 : 105 - 137
  • [29] CONNECTIONS AND HIGHER-ORDER LOGIC
    ANDREWS, PB
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 1 - 4
  • [30] Superposition for Higher-Order Logic
    Bentkamp, Alexander
    Blanchette, Jasmin
    Tourret, Sophie
    Vukmirovic, Petar
    JOURNAL OF AUTOMATED REASONING, 2023, 67 (01)
12345