# Moving Fast with Software Verification | the morning paper

<http://blog.acolyer.org/2015/11/20/moving-fast-with-software-verification/>

- Host: [blog.acolyer.org](https://links.thingelstad.xyz/hosts/blog.acolyer.org/)
- Saved: November 29, 2015 (2015-11-29T13:44:09Z)
- Record: https://links.thingelstad.xyz/links/6538f05da097/
- JSON: https://links.thingelstad.xyz/links/6538f05da097.json

## From the page (probably an excerpt, not Jamie's words)

How do you mesh formal verification “proponents of which sometimes even used to argue that programs should be developed only after a prior specifications had been written down,” with a continuous delivery model? This strikes me as very similar to the problem of integrating security into a continuous delivery pipeline too. On the web, Facebook pushes new changes to code twice a day – but mobile platforms are now even more important than the web. With the mobile platforms (iOS and Android), you can’t just push new features and bug fixes the minute they are ready – Facebook can only distribute a new version to the Apple App Store or Google Play but the user controls if/when they update.

## Facts

- Kind: [Page](https://links.thingelstad.xyz/kinds/page/)

## Same host

- [Experience with Rules-Based Programming for Distributed Concurrent Fault-Tolerant Code](https://links.thingelstad.xyz/links/a9b2ef2681d9/) (blog.acolyer.org, January 20, 2016)
- [The design and implementation of modern column-oriented database systems | the morning paper](https://links.thingelstad.xyz/links/9d5fcd9c9c5f/) (blog.acolyer.org, September 28, 2018)
- [File systems unfit as distributed storage backends: lessons from ten years of Ceph evolution – the morning paper](https://links.thingelstad.xyz/links/5069b0efeec1/) (blog.acolyer.org, November 7, 2019)
- [Meaningful availability – the morning paper](https://links.thingelstad.xyz/links/55ebe15b3f5a/) (blog.acolyer.org, February 27, 2020)

## Saved the same week

- [Tools, Culture and Aesthetics – The Art of DevOps - JAXenter](https://links.thingelstad.xyz/links/aa0ac3303ef9/) (jaxenter.com, November 29, 2015)
- [Perl 6 Introduction](https://links.thingelstad.xyz/links/3689fdcfb33e/) (perl6intro.com, November 29, 2015)
- [MediaWiki 1.26 - MediaWiki](https://links.thingelstad.xyz/links/1681d3a65102/) (mediawiki.org, November 29, 2015)
- [Building for HTTP/2](https://links.thingelstad.xyz/links/bdf4e6b02fe7/) (rmurphey.com, November 29, 2015)
- [Potential changes to cookies in Chrome. - Google Groups](https://links.thingelstad.xyz/links/e22bb2f0a36a/) (groups.google.com, November 29, 2015)

## Elsewhere

- Wayback Machine: https://web.archive.org/web/*/http://blog.acolyer.org/2015/11/20/moving-fast-with-software-verification/