How we built Cedar with automated reasoning and differential testing (2023)

Posted 2 hours ago by pramodbiligiri
2 points

https://www.amazon.science/blog/how-we-built-cedar-with-automated-reasoning-and-differential-testing

0 comments