Search papers, labs, and topics across Lattice.
University of British Columbia
2
0
4
2
Specula uncovers deep bugs in system code that traditional methods often miss, revolutionizing formal specification generation.
Formally verified composition lets you build complex, high-performance databases like RocksDB from simpler, provably correct components.
