How Amazon built Cedar with automated reasoning (amazon.science)

1 comment

[ 2.5 ms ] story [ 22.7 ms ] thread

It’s an interesting approach. Using proven correct code written in Dafny and testing it against the same code written in Rust.