Example specifications that demonstrate formal verification techniques Python implementations of the specified systems Tools for analyzing error traces and counter ...