Hacker News
- A gentle introduction to automated reasoning https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 21 comments
- A gentle introduction to automated reasoning https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 30 comments
Linking pages
- How Prime Video updates its app for more than 8,000 device types - Amazon Science https://www.amazon.science/blog/how-prime-video-updates-its-app-for-more-than-8-000-device-types 537 comments
- AWS Creates New Policy-Based Access Control Language Cedar https://www.infoq.com/news/2023/02/aws-policy-language-cedar/ 83 comments
- Announcing the Kani Rust Verifier Project | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html 28 comments
- Automated reasoning at Amazon: a conversation - Amazon Science https://www.amazon.science/blog/automated-reasoning-at-federated-logic-conference-floc 11 comments
- Rustan Leino provides proof that software is bug-free - Amazon Science https://www.amazon.science/working-at-amazon/rustan-leino-provides-proof-that-software-is-bug-free 2 comments
- How we built Cedar with automated reasoning and differential testing - Amazon Science https://www.amazon.science/blog/how-we-built-cedar-with-automated-reasoning-and-differential-testing 1 comment
- A billion SMT queries a day - Amazon Science https://www.amazon.science/blog/a-billion-smt-queries-a-day 0 comments
- Calculating the differential cost of code changes - Amazon Science https://www.amazon.science/blog/calculating-the-differential-cost-of-code-changes 0 comments
- Using the Kani Rust Verifier on a Rust Standard Library CVE | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/06/01/using-the-kani-rust-verifier-on-a-rust-standard-library-cve.html 0 comments
- Lean Into Verified Software Development | AWS Open Source Blog https://aws.amazon.com/blogs/opensource/lean-into-verified-software-development/ 0 comments
Linked pages
- Amazon.com http://amazon.com/ 2945 comments
- Rust Programming Language https://www.rust-lang.org/ 592 comments
- Gödel's incompleteness theorems - Wikipedia https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems 343 comments
- GitHub - p-org/P: The P programming language. https://github.com/p-org/P 199 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- Halting problem - Wikipedia https://en.wikipedia.org/wiki/halting_problem#oracle_machines 129 comments
- Amazon S3 Block Public Access – Another Layer of Protection for Your Accounts and Buckets | AWS News Blog https://aws.amazon.com/blogs/aws/amazon-s3-block-public-access-another-layer-of-protection-for-your-accounts-and-buckets/ 90 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- GitHub - dafny-lang/dafny: Dafny is a verification-aware programming language https://github.com/dafny-lang/dafny 59 comments
- Infer Static Analyzer | Infer | Infer https://fbinfer.com/ 53 comments
- Diving Deep on S3 Consistency | All Things Distributed https://www.allthingsdistributed.com/2021/04/s3-strong-consistency.html 49 comments
- Functional Data Structures and Algorithms. A Proof Assistant Approach https://functional-algorithms-verified.org 49 comments
- Lean http://leanprover.github.io 46 comments
- Four color theorem - Wikipedia http://en.wikipedia.org/wiki/Four_color_theorem 44 comments
- First-order logic - Wikipedia http://en.wikipedia.org/wiki/First-order_logic 44 comments
- The TLA+ Home Page http://lamport.azurewebsites.net/tla/tla.html 32 comments
- Rosette: About http://emina.github.io/rosette/ 29 comments
- Sensitive Data Discovery– Amazon Macie – Amazon Web Services https://aws.amazon.com/macie/ 29 comments
- KLEE http://klee.github.io/ 24 comments
- http://alloytools.org/ 21 comments
Related searches:
Search whole site: site:www.amazon.science
Search title: A gentle introduction to automated reasoning - Amazon Science
See how to search.