Author:
Sokolsky Oleg V.,Smolka Scott A.
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. B. Alpern, R. Hoover, B. K. Rosen, P. F. Sweeney, and F. K. Zadeck. “Incremental Evaluation of Computational Circuits”. In Proc. of the 1st Annual ACM-SIAM Symposium on Discrete Algorithms, 1990.
2. H. R. Andersen. “Model Checking and Boolean Graphs”. In Proceedings of ESOP'92. LNCS 582, 1992.
3. R. Cleaveland, J. N. Gada, P. M. Lewis, S. A. Smolka, O. V. Sokolsky, and S. Zhang. “The Concurrency Factory — Practical Tools for Specification, Simulation, Verification and Implementation of Concurrent Systems”. In Proceedings of the DIMACS Workshop on Specification Techniques for Concurrent Systems, Princeton, NJ., May 1994.
4. R. Cleaveland, J. Parrow, and B. Steffen. “The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems”. ACM TOPLAS, 15(1), 1993.
5. R. Cleaveland and B. Steffen. “A Linear-Time Model Checking Algorithm for the Alternation-Free Modal Mu-Calculus”. Formal Methods in System Design, 2, 1993.
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献