### Question

Does Dafny verify methods in parallel?

When used on the command-line, Dafny verifies each method in each module sequentially and attempts to prove all the assertions in a method in one go. However, you can use the option /vcsCores to parallelize some of the activity and various options related to verification condition splitting can break up the work within a method.