3 ms·
What exactly are you verifying? Would you verify something about Rust code? And what would you verify?
by ilaksh 3y ago
What exactly are you verifying?
Would you verify something about Rust code? And what would you verify?
- ak1930 3y agoWe would work with you to make formal specifications and then verify that your code satisfies them, and help modify it until it does. We are open to Rust, yes.