Login
From:
Amazon Science
(Uncensored)
subscribe
How to integrate formal proofs into software development - Amazon Science
https://www.amazon.science/blog/how-to-integrate-formal-proofs-into-software-development
links
backlinks
Tagged with:
formal verification
provable security
model checking
ICSE paper presents techniques piloted by Amazon Web Services’ Automated Reasoning team.
Roast topics
Find topics
Find it!
