Sequent Blog
The frontier of Deep Verification
Latest posts
- Deep Verification: Closing the Gap from Model to Bytecode
Multiple layers can be formally verified, from high-level properties down to deployed bytecode. Deep verification connects them into one coherent argument.