The Concurrency Factory: Publications

• Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools, Yifei Dong, Xiaoqun Du, Y.S.~Ramakrishna, C.R.~Ramakrishnan, I.V.~Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark and David S. Warren.
  Accepted by the Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), March 1999.
  We describe how we used various verification tools to specify and verify a real-life protocol. Click here for a copy of the paper.

• Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study, Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y.S. Ramakrishna, Scott A. Smolka.
  In Proc. of the 6th International Conference on Algebraic Methodology and Software Technology, LNCS 1349.
  We used the concurrency factory to specify and verify the Rether protocol, a real-time ethernet protocol. Click here to obtain the postscript file of the paper.

• Partial-order reduction in the weak modal mu-calculus, Y.S. Ramakrishna and Scott A. Smolka.
  In Proc. of the Eighth International Conference on Concurrency Theory (CONCUR'97), LNCS 1243, pages 5-24.
  This paper describes partial order reudction techniques used in the Factory's local model checker. Click here to obtain the postscript file of the paper.

• The Concurrency Factory: A Development Environment for Concurrent Systems, R. Cleaveland, P. M. Lewis, S. A. Smolka and O. Sokolsky. In R. Alur and T. Henzinger, editors, Computer-Aided Verification (CAV '96), volume 1102 of Lecture Notes in Computer Science, pages 398--401, New Brunswick, NJ, July 1996. Springer-Verlag.
  This paper introduces the Concurrency Factory. Click here to obtain the postscript file of the paper.

• The Concurrency Factory Software Development Environment, R. Cleaveland and P. M. Lewis and S. A. Smolka and O. Sokolsky.
  In T. Margaria and B. Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96), volume 1055 of Lecture Notes in Computer Science, pages 391--395, Passau, Germany, March 1996. Springer-Verlag.
  This is another paper that introduces the Concurrency Factory. Click here to obtain the postscript file of the paper.

• The Concurrency Factory --- Practical Tools for Specification, Simulation, Verification, and Implementation of Concurrent Systems, R. Cleaveland and J. N. Gada and P. M. Lewis and S. A. Smolka and O. Sokolsky and S. Zhang.
  In Proc. of DIMACS Workshop on Specification of Parallel Algorithms, Vol. 18, pages 75-90, May, 1994.
  This is the original paper describing the Concurrency Factory. Click here to obtain the postscript file of the paper.