Formal Process Virtual Machine for Smart Contracts Verification
Symbolic model checking without BDDs