Concurrency and Verification Lab |
 |
Back to Research Areas/Labs |
| 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 | Scott Smolka |
| Lab Web Page | Concurrency and Verification Lab |