Harmony's Open Development

/

Social Wallets with One-Time-Passwords

/

formal verification

formal verification

Examples

mechnican checks with Coq or Runtime Verification's K; strong type system with noninterference guarantee