Diffblue Cbmc

How do I install these formulae?

brew install diffblue/cbmc/<formula>

Or brew tap diffblue/cbmc and then brew install <formula>.

brew help, man brew or check Homebrew's documentation.

To add a new version to the tap, proceed as follows on a system that has brew set up:

Wait until after homebrew has actually picked up the new version of CBMC and built/released it. To check if this is completed on homebrew’s CBMC page check that the correct version is displayed.
Update your local homebrew using brew upgrade
In the homebrew-cbmc repository (usually in /usr/local/Homebrew/Library/Taps/diffblue/homebrew-cbmc or similar) run ./transform_binary.sh <version> for the version you wish to do the new tap for.
Do brew extract cbmc diffblue/cbmc --version=<version> for the version you're doing the tap for
Do brew edit cbmc@<version> for the version...
Find a previous formula from the repository and copy the bottles section and update the hashes from step 2.
Add/commit the edited file to the tap (homebrew-cbmc repo)... -- note that the file you edit may be in another random place!
Add the bottles you downloaded (they are tar.gz files) to here: https://github.com/diffblue/homebrew-cbmc/releases/edit/bag-of-goodies and "Update release" to commit the upload
Verify the upload was successful by doing brew fetch cbmc@<version>. The URL shown at the second line of the command output (after ==> Downloading) should have this form: https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies/cbmc%40-..bottle