Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends-Reference-Cited by-同舟云学术

Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends

Published:1986 Issue: Volume: Page:510-584
ISSN:0302-9743
Container-title:Current Trends in Concurrency
language:
Short-container-title:

Author:

Pnueli A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0027047

Reference45 articles.

1. E.A. Ashcroft — Proving Assertions about Parallel Programs, JCSS 10,1 (1975) 110–135.

2. K.R. Apt, N. Francez, W.P. DeRoever — A Proof System for Communicating Sequential Processes, TOPLAS 2 (1980) 359–385.

3. E. Ashcroft, Z. Manna — Formalization of Properties of Parallel Programs, Machine Intelligence 6, B. Meltzer, D. Michie, Eds., Edinburgh (1971) 17–41.

4. K.R. apt, E.-R. Olderog — Proof Rules and Transformations dealing with Fairness, Science of Computer Programming 3 (1983) 65–100.

5. B. Alpern, F. Schneider — Defining Liveness, Cornell University (1984).

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

1. LTL-specification for development and verification of logical control programs in feedback systems;Modeling and Analysis of Information Systems;2024-09-13

2. Verification of declarative LTL-specification of control programs behavior;Modeling and Analysis of Information Systems;2024-06-13

3. LTL-specification for development and verification of control programs;Modeling and Analysis of Information Systems;2023-12-11

4. This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs;Proceedings of the 16th ACM SIGPLAN International Haskell Symposium;2023-08-30

5. Autonomy for UAVS: Integration of Multiple Technology Domains;Journal of Aerospace Sciences and Technologies;2023-08-09