diff --git a/README.md b/README.md
index bb1bf51de0a..e1c2b090091 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-[![Build Status][build_img]][travis]
+[![Build Status][travis_img]][travis] [![Build Status][appveyor_img]][appveyor]
 
 [CProver Wiki](http://www.cprover.org/wiki)
 
@@ -19,5 +19,7 @@ License
 =======
 4-clause BSD license, see `LICENSE` file.
 
-[build_img]: https://travis-ci.org/diffblue/cbmc.svg?branch=master
 [travis]: https://travis-ci.org/diffblue/cbmc
+[travis_img]: https://travis-ci.org/diffblue/cbmc.svg?branch=master
+[appveyor]: https://ci.appveyor.com/project/diffblue/cbmc/
+[appveyor_img]: https://ci.appveyor.com/api/projects/status/github/diffblue/cbmc?svg=true&branch=master
\ No newline at end of file