Academic roots
Fueled by a NSA Sos Lablet grant at Carnegie Mellon University (CMU), our founders embarked on a mission to revolutionize compositional formal verification and address spaces. The seeds of our groundbreaking approach were sown, and our commitment to excellence was evident when we were nominated for a best paper award that very year