Home
News
- Informal systems is known to be an organization which works on distributed software systems.
- Informal is applying open-source, plain text and version control theories to develop tools to better manage the details and complexity of organizations.
- Interchain Foundation (ICF) Research and Development had officially spun out into a new Canadian company called Informal Systems.
Informal Systems
Distributed software systems
Informal systems are known to be an organization which works on distributed software systems. It believes that it is the foundation for many critical systems in our society that includes financial services, healthcare, transport, cloud services, and others.
It claims to apply distinguishable techniques in formal verification to make a distributed system more verifiable by giving arithmetic levels of correctness, which will be helpful in teams to verify and gain confidence in the systems they design, maintain and implement.
Informal is applying open-source, plain text and version control theories to develop tools to better manage the details and complexity of organizations.
Informal is developing a Verification Driven Development framework to integrate previous verification techniques used by humans into the software development process and result in an increase in confidence and system correctness.
The informal goal is to make a new model of a technology company with long term economic alignment for both investors and employees without focusing on a singular exit event.
Interchain Foundation X Informal Systems.
On 24 Feb 2020 – The informal system published a blog on introducing Informal Systems which was written by Ethan Buchman and Arianne Flemming. Ethan Buchman is the Vice President and Anne Flemming is the Managing Director of Interchain Foundation.
Interchain is an organization which funds and collab with various projects In Engineering, Research, Product, Community, and Social need.
The Blog was more like an announcement in which it explained that Interchain Foundation (ICF) Research and Development had officially spun out into a new Canadian company called Informal Systems and they will continue its R&D work on the distributed software called Cosmos network software.
Cosmos Network software is believed to be able to solve the hardest blockchain problems such as scalability, usability, and interoperability.
Informal team contains world-class research and engineer, led by Ethan Buchman, who founded the Cosmos project along with Zarko Milosevic and Arianne Flemming who will be working to formally verify the important components of Cosmos like the Inter-Blockchain Communication protocol (IBC) and the Tendermint Consensus protocol to implement in rust “A Language to build software”.
Interchain Foundation is very excited about founding informal systems and widen their prior work at the organization and enable them to give a major contribution to the cosmos. The interchain foundation is looking forward to continuing to work on its expansion with the other leading organization to advance the Cosmos Ecosystem.
