From 743b01f00aa70182a36385fa5ba1228b7507e12e Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Thu, 19 Dec 2019 11:07:31 +0100 Subject: [PATCH] add badges for zenodo and version --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index a8713c02c..ffc16915e 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,9 @@ Storm - A Modern Probabilistic Model Checker ============================================ [![Build Status](https://travis-ci.org/moves-rwth/storm.svg?branch=master)](https://travis-ci.org/moves-rwth/storm) +[![GitHub release](https://img.shields.io/github/release/moves-rwth/storm.svg)](https://github.com/moves-rwth/storm/releases/) +[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3574502.svg)](https://doi.org/10.5281/zenodo.3574502) + For more instructions, check out the documentation found in [Getting Started](http://www.stormchecker.org/getting-started.html).