Skip to content

Latest commit

 

History

History
12 lines (8 loc) · 515 Bytes

README.md

File metadata and controls

12 lines (8 loc) · 515 Bytes
Raw

zeta

Zeta is a collection of tools to analyze concurrent histories of FIFO queue operations.

Homepage: http://scal.cs.uni-salzburg.at

Content

  • ./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.