ACTLW – An action-based computation tree logic with unless operator-Reference-Cited by-同舟云学术

ACTLW – An action-based computation tree logic with unless operator

Published:2008-03 Issue:6 Volume:178 Page:1542-1557
ISSN:0020-0255
Container-title:Information Sciences
language:en
Short-container-title:Information Sciences

Author:

Meolic Robert,Kapus Tatjana,Brezočnik Zmago

Publisher

Elsevier BV

Subject

Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software

Reference27 articles.

1. Standards and verification for fair-exchange and atomicity in e-commerce transactions;Anderson;Information Sciences,2006

2. K. Asai, S. Matsuoka, A. Yonezawa, Model checking of control-finite CSP programs, in: Proceedings of the 26th Hawaii International Conference on System Sciences, vol. 2, 1993, pp. 174–183.

3. Principles of Concurrent and Distributed Programming;Ben-Ari,1990

4. A formal verification environment for railway signaling system design;Bernardeschi;Formal Methods in System Design,1998

5. Verifying temporal properties of reactive systems: a STeP tutorial;Bjørner;Formal Methods in System Design,2000

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Generating and Employing Witness Automata for ACTLW Formulae;IEEE Access;2022

2. Model checking mobile ad hoc networks;Formal Methods in System Design;2016-08-04

3. Temporal data representation, normalization, extraction, and reasoning: A review from clinical domain;Computer Methods and Programs in Biomedicine;2016-05

4. Using FMC for family-based analysis of software product lines;Proceedings of the 19th International Conference on Software Product Line;2015-07-20

5. Model checking fuzzy computation tree logic;FUZZY SET SYST;2015