Hacker News
- Developing Provably-Correct Software Using Formal Methods http://www.infoq.com/news/2015/05/provably-correct-software 14 comments
Linked pages
- Code Red: the Business Impact of Code Quality https://www.infoq.com/articles/business-impact-code-quality/ 94 comments
- From Async Code Reviews to Co-Creation Patterns https://www.infoq.com/articles/co-creation-patterns-software-development/ 1 comment
- Why is Everything So Slow? Measuring and Optimising How Engineering Teams Deliver https://www.infoq.com/articles/measure-optimise-delivery/ 0 comments
- List of model checking tools - Wikipedia https://en.wikipedia.org/wiki/List_of_model_checking_tools 0 comments
- The Challenge of Cognitive Load in Platform Engineering: A Discussion with Paula Kennedy https://www.infoq.com/articles/cognitive-load-platform-engineering/ 0 comments
- Finding Adequate Metrics for Outer, Inner, and Process Quality in Software Development https://www.infoq.com/articles/metrics-quality-software/ 0 comments
- If Twitter Doesn’t Have a Staging Environment, Should Anyone? https://www.infoq.com/articles/twitter-staging-environment/ 0 comments
- How Skyscanner Embedded a Team Metrics Culture for Continuous Improvement https://www.infoq.com/articles/Skyscanner-metrics-culture-improvement/ 0 comments
Related searches:
Search whole site: site:infoq.com
Search title: Developing Provably-Correct Software Using Formal Methods
See how to search.