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.
[
Home
|
Features
|
Publications
|
Related Work
|
Staff
]
concurr@cs.sunysb.edu
Last modified: March 24, 1999