License
Badger source code is licensed under LGPL.
Files
-
Badger sources:
badger-src.tgz(0.2MB) -
Badger binaries:
badger.jar(2.3MB)
Model checker for Threaded Behavior Protocols
Badger source code is licensed under LGPL.
badger-src.tgz (0.2MB)
badger.jar (2.3MB)