Verifying temporal properties of processes-Reference-Cited by-同舟云学术

Verifying temporal properties of processes

Published: Issue: Volume: Page:115-125
ISSN:
Container-title:CONCUR '90 Theories of Concurrency: Unification and Extension
language:
Short-container-title:

Author:

Bradfield Julian,Stirling Colin

Publisher

Springer-Verlag

Link

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

Reference14 articles.

1. J. Bradfield, ‘Proving temporal properties of Petri Nets', Proc. 11th Int. Conf. on Theory and Application of Petri Nets, 1990.

2. J. Bradfield, C. Stirling, ‘Local model checking for infinite state spaces', Technical Report LFCS-90-115, University of Edinburgh 1990.

3. E. M. Clarke, E. A. Emerson, A. P. Sistla, ‘Automatic verification of finite-state concurrent systems using temporal logic specifications: a practical approach’ Tenth ACM Symposium on Principles of Programming Languages. ACM, Austin, Texas, 1983.

4. R. Cleaveland, ‘Tableau-based model checking in the Propositional Mu-Calculus', Technical Report, University of Sussex 1988. (To appear in Acta Informatica)

5. M. Hennessy, R. Milner, ‘Algebraic laws for nondeterminism and concurrency', J. Assoc. Comput. Mach. 32, 137–161, 1985.

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

1. Extensible Proof Systems for Infinite-State Systems;ACM Transactions on Computational Logic;2023-11-18

2. Behavioural Models for FMI Co-simulations;Theoretical Aspects of Computing – ICTAC 2016;2016

3. Formal Verification of Concurrent Systems via Directed Model Checking;Electronic Notes in Theoretical Computer Science;2007-07

4. DELFIN+: An efficient deadlock detection tool for CCS processes;Journal of Computer and System Sciences;2006-12

5. Reduced Models for Efficient CCS Verification;Formal Methods in System Design;2005-05