NOTE: The vast majority of our software is located
within the separate Flux project pages, most of which
are assembled at the "Projects" link.
Please check there.
A few smaller pieces of software are directly linked below.
Applying Formal Methods to Operating Systems:
Several of our students performed an experiment with formal
methods, verifying a model of the Fluke IPC path. Several
presentations, a paper, and the Promela code are available.
an Alpha release of a portable and reasonably efficient
distributed shared memory system.
[ Emulab Network Testbed ] [ ProtoGENI ] [ Experimentation Workbench ]
[ Flexlab ] [ Time-travel for Closed Distributed Systems ]
Flux Research Group / School of Computing / University of Utah
Problems? Contact the Flux Web Admin.
Last updated January 04, 2013.