Comment by Bromeo

Kagi answers that there is "CBMC", which is single-threaded, but that there are extensions "Deagle" and "Yogar-CBMC" that provide multi-threading for CBMC. It gives links to the papers for all three, however some of them are closed access (or in other words, fact checked, unlike arxiv).