Concurrency and Verification Lab
|
Location
|
CS 2213
|
|
Mission
|
The Concurrency and Verification Lab conducts
research in, and creates integrated toolsets
for, the specification, simulation,
verification, and implementation of concurrent
systems such as communication protocols and
process control systems.
|
|
Hardware
|
Sun Microsystems Sparc systems, X86 PC
|
|
Operating system
|
Solaris, Linux, MS Windows
|
|
Software
|
Latex, Emacs, C, C++, GNU C, GNU C++, Java,
Pine, CDE, ML
|
|
Details
|
Past accomplishments
include the development of the Concurrency
Factory, Concurrency Workbench and PIOATool
tool suites; and the modeling and verification
of real-life applications such as the Rether
real-time ethernet protocol and the Java
virtual machine meta-locking algorithm.
Typically each graduate student can expect to
have a personal workstation and access to
large memory compute servers.
|
|
Funding
|
NSF
|
|
Coordinator
|
Dr. Smolka
|
|
Lab web page
|
http://www.cs.sunysb.edu/~cwb
|
|
|
