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 条

[1] SPECIFICATION AND VERIFICATION OF DIGITAL-SYSTEMS USING HIGHER-ORDER PREDICATE LOGIC
HANNA, FK
DAECHE, N
IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1986, 133 (05): : 242 - 254
[2] Predicate abstractions in higher-order logic programming
Chen, WD
Warren, DS
NEW GENERATION COMPUTING, 1996, 14 (02) : 195 - 236
[3] SPECIFICATION AND VERIFICATION OF HIGHER-ORDER PROCESSES
HANSEN, MR
ZHOU, CC
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 322 - 328
[4] Predicate Specialization for Definitional Higher-Order Logic Programs
Troumpoukis, Antonis
Charalambidis, Angelos
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2018, 2019, 11408 : 132 - 147
[5] COMPILATION OF PREDICATE ABSTRACTIONS IN HIGHER-ORDER LOGIC PROGRAMMING
CHEN, WD
WARREN, DS
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 287 - 298
[6] USING HIGHER-ORDER LOGIC FOR MODULAR SPECIFICATION OF REAL-TIME DISTRIBUTED SYSTEMS
MACEWEN, GH
SKILLICORN, DB
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 36 - 66
[7] Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic
Zhao, Chunna
Jiang, Murong
Huang, Yaqun
FRACTAL AND FRACTIONAL, 2022, 6 (09)
[8] Distributed causal memory: Modular specification and verification in higher-order distributed separation logic
Gondelman, Léon
Gregersen, Simon Oddershede
Nieto, Abel
Timany, Amin
Birkedal, Lars
Proceedings of the ACM on Programming Languages, 2021, 5 (POPL)
[9] Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic
Gondelman, Leon
Gregersen, Simon Oddershede
Nieto, Abel
Timany, Amin
Birkedal, Lars
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5
[10] USE OF HIGHER-ORDER LOGIC IN PROGRAM VERIFICATION
ERNST, GW
HOOKWAY, RJ
IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (08) : 844 - 851

← 1 2 3 4 5 →