Author:
Cleaveland Rance,Steffen Bernhard
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Arnold, A., and P. Crubille. “A Linear Algorithm To Solve Fixed-Point Equations on Transition Systems.” Information Processing Letters, v. 29, 30 September 1988, pp. 57–66.
2. Boudol, G., de Simone, R. and Vergamini, D. “Experiment with Auto and Autograph on a Simple Case Sliding Window Protocol.” INRIA Report 870, July 1988.
3. Clarke, E.M., E.A. Emerson and Sistla, A.P. “Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications.” ACM Transactions on Programming Languages and Systems, v. 8, n. 2, 1986, pp. 244–263.
4. Cleaveland, R. “Tableau-Based Model Checking in the Propositional Mu-Calculus.” Acta Informatica, 1990.
5. Lecture Notes in Computer Science series;R. Cleaveland,1989
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Rance Cleaveland: a life for formal methods;International Journal on Software Tools for Technology Transfer;2024-05-02
2. Dependency graphs with applications to verification;International Journal on Software Tools for Technology Transfer;2020-06-06
3. Model Verification Through Dependency Graphs;Model Checking Software;2019
4. Models, Mindsets, Meta: The What, the How, and the Why Not?;Lecture Notes in Computer Science;2019
5. Logical Characterisation of Parameterised Bisimulations;Theoretical Aspects of Computing – ICTAC 2017;2017