Concurrency and Verification Lab

Location NCS-248
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.

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.

Coordinator Scott Smolka
Lab Web Page Concurrency and Verification Lab