|
|
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.
- Quarks:
an Alpha release of a portable and reasonably efficient
distributed shared memory system.
|