A Logic for Non-deterministic Parallel Abstract State Machines

被引：3

作者：

Ferrarotti, Flavio ^{[1
]}

Schewe, Klaus-Dieter ^{[1
]}

Tec, Loredana ^{[1
]}

Wang, Qing ^{[2
]}

机构：

[1] Software Competence Ctr Hagenberg, A-4232 Hagenberg, Austria

[2] Australian Natl Univ, Res Sch Comp Sci, Canberra, ACT 0200, Australia

来源：

FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016) | 2016年 / 9616卷

基金：

奥地利科学基金会;

关键词：

D O I：

10.1007/978-3-319-30024-5_18

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by Nanchen and Stark for reasoning about hierarchical (parallel) ASMs. Our main contribution to this regard is the handling of non-determinism (both bounded and unbounded) within the logical formalism. Moreover, we do this without sacrificing the completeness of the logic for statements about single steps of non-deterministic parallel ASMs, such as invariants of rules, consistency conditions for rules, or step-by-step equivalence of rules.

引用

页码：334 / 354

页数：21

共 50 条

[41] NON-DETERMINISTIC ALGORITHMS
COHEN, J
COMPUTING SURVEYS, 1979, 11 (02) : 79 - 94
[42] NON-DETERMINISTIC FORTRAN
COHEN, J
CARTON, E
COMPUTER JOURNAL, 1974, 17 (01) : 44 - 51
[43] Effectiveness of non-evolutionary non-deterministic optimization methods in design of electrical machines
Dabrowski, Miroslaw
Rudenski, Andrzej
Archives of Electrical Engineering, 2009, 58 (227-228): : 31 - 42
[44] MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY
Pawlowski, Pawel
Urbaniak, Rafal
REVIEW OF SYMBOLIC LOGIC, 2018, 11 (02) : 207 - 223
[45] A logic for secure memory access of abstract state machines
Nanchen, S
Stärk, RF
THEORETICAL COMPUTER SCIENCE, 2005, 336 (2-3) : 343 - 365
[46] Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs
Hierons, Robert M.
Turker, Uraz Cengiz
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2017, 26 (01)
[47] Incremental and Heuristic Approaches for Deriving Adaptive Distinguishing Test Cases for Non-deterministic Finite-State Machines
El-Fakih, Khaled
Yevtushenko, Nina
Saleh, Ayat
COMPUTER JOURNAL, 2019, 62 (05) : 757 - 768
[48] LoRe: Supporting Non-deterministic Events Logging and Replay for KVM Virtual Machines
Li, Jianxin
Si, Shouyu
Li, Bo
Cui, Lei
Zheng, Jingsheng
2013 IEEE 15TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS & 2013 IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (HPCC_EUC), 2013, : 442 - 449
[49] On model checking for non-deterministic infinite-state systems
Emerson, EA
Namjoshi, KS
THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 70 - 80
[50] Parallel Symmetric Attack on NTRU using Non-Deterministic Lattice Reduction
Tanya E. Seidel
Daniel Socek
Michal Sramka
Designs, Codes and Cryptography, 2004, 32 : 369 - 379

← 1 2 3 4 5 →