Ecosystem Vision Logo

Informalsystems

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vestibulum luctus felis in nisi tincidunt, vitae facilisis enim tempor.

Description

Technology & Skills

Uncover the hard and soft skills and tools employed by the organization, and gain insight into the technologies that drive their success
FORMAL SPECIFICATION
SYMBOLIC MODEL CHECKING
IBC
BLOCKCHAIN
COSMOS SDK
OPERATIONS
GO
MODEL-BASED TESTING
TLA+
TENDERMINT
APALACHE
RESEARCH
FORMAL VERIFICATION