formally verified safety for high assurance autonomous systems

Currently operating in stealth mode

contact@skepis.com