Yes, one can do #formalverification on legal #contract specifications using our language (#Symboleo) and model-checking (in #nuXmv)!

See our MODELS'22 paper on "Model-Checking Legal Contracts with SymboleoPC" (https://lnkd.in/e-9K4A5D), which is a bit part of the recent thesis of Dr. Alireza Parvizimosaed (https://lnkd.in/eUuMSMf8).
Get the paper from https://lnkd.in/e-9K4A5D (freely available for a few weeks I believe), and spread the word!