Stale Configuration and Consistency Analysis Tool
Java Python Alloy Shell Coq CSS Other
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
aec
bin
doc
evaluation
locking
rules
src/edu/washington/cse
.gitignore
LICENSE
README.md
build.gradle
paths.gradle
settings.gradle

README.md

Staccato

Staccato is a dynamic analysis for finding bugs in dynamic configuration updates (DCU).

Documentation

Documentation on running and using Staccato can be found here.

License

Staccato is licensed under the MIT License. However, the StringIntHashMap class is licensed under the terms found in that file.

Contact

Staccato is written by John Toman at the University of Washington.