Author:
Cleaveland Ranee,Steffen Bernhard
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Arnold, A., and P. Crubille. “A Linear Algorithm To Solve Fixed-Point Equations on Transition Systems.” Information Processing Letters 29:57–66, 30 September 1988.
2. Clarke, E.M., E.A. Emerson and A.P. Sistla. “Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications.” ACM TOPLAS 8(2):244–263, 1986.
3. Cleaveland, R. and M.C.B. Hennessy. “Testing Equivalence as a Bisimulation Equivalence.” In Proc. Workshop on Automatic Verification Methods for Finite-State Systems. LNCS 407.
4. Cleaveland, R., J. Parrow and B. Steffen. “The Concurrency Workbench.” In Proc. Workshop on Automatic Verification Methods for Finite-State Systems, 1989, LNCS 407. To appear in ACM TOPLAS.
5. Cleaveland, R., J. Parrow and B. Steffen. “A Semantics-based Verification Tool for Finite-State Systems”, In Proc. 9th Symp. on Protocol Specification, Testing, and Verification, 1989.
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Rance Cleaveland: a life for formal methods;International Journal on Software Tools for Technology Transfer;2024-05-02
2. Complete proof systems for weighted modal logic;Theoretical Computer Science;2014-08
3. A Semantic Basis for Proof Queries and Transformations;Logic for Programming, Artificial Intelligence, and Reasoning;2013
4. Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization;Theory of Computing Systems;2010-09-16
5. Model Checking for Hybrid Logic;Journal of Logic, Language and Information;2009-04-23