Formal Process Virtual Machine for Smart Contracts Verification
Propositions as [ Types ]