Informal is a full-suite R&D institution that offers services including: Technical and Executive Education, Training, Consulting, and comprehensive Research & Development with a focus on blockchains, distributed systems, and formal verification.
Informal offers educational workshops for executives as well as technical training for in-house teams. Workshops are customizable in time and content according to your needs, and cover topics including Introduction to Blockchains, Tendermint & Cosmos, Distributed Systems and Formal Verification.
Informal can help your technical team with analysis of system architecture and protocols, performance improvements, formal specifications and verification, code review, automatic test generation, large scale adversarial testing, and more.
Using our Verification Driven Development methodology, Informal can help you gain confidence in the design of R&D projects, so you can save money and time by discovering problems during the design phase.
Informal can help your company implement high-value distributed systems including; cryptocurrency platforms and blockchain frameworks, and integrations with Cosmos.
Our VDD approach is a collaboration between researchers and engineers. It involves an iterative development of specifications and implementations, tooling to generate implementation tests from specifications, static analysis of code, and possibly other approaches.
How it works: