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:
Industry:
Other
Technology:
Developing Software
Headquarters:
United Kingdom
Founded Date:
2018.0