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

1 comment

[ 4.7 ms ] story [ 16.4 ms ] thread

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