Zeta is a collection of tools to analyze concurrent histories of FIFO queue operations.
Homepage: http://scal.cs.uni-salzburg.at
- ./cpp/analyzer/ contains tools to linearize concurrent histories of FIFO queue operations and to calculate the out-of-order distance of the resulting linearizations to strict FIFO queue semantics.
- ./scripts/ contains scripts to automate the use of the tools contained in ./cpp/analyzer/.
- ./cpp/verifier/ contains legacy code.
- ./java/ contains legacy code.