DappHub

DappHub

- Formal Verification of Etherum Smart contracts using the K Framework.- Development of CLI tooling for FV - klab- NixOS-based FV infrastructure

Key Info

  • 2015 Founded2015 Founded
  • DeadDead
  • 30 Birken straße, Berlin, Berlin, DEU30 Birken straße, Berlin, Berlin, DEU
  • 2 Employees2 Employees
  • LinkedIn•••••••••
    Lock Closed

Credibility

LinkedIn Verified
LinkedIn Verified

News

There are no recent news for this organization.

Activity Timeline

There is no recent activity for this organization.

Team

Investments

There is no investment data on this organization.

Similar Companies