Garuda.AI Company
Formal Verification and Analysis Service for the Blockchain Solutions from a team with over 20 years experience in industrial formal verification, algebraic modelling, cybersecurity, model-based testing and blockchain projects development. tokenomics@garuda.ai Social Media:
Founded Date:
2018.0
Technology:
Developing Software
Industry:
Other
Headquarters:
United Kingdom