From 1c2c4eb6123c7e42127d2fe08bdb78b8a83ab5ac Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 11 Aug 2017 14:54:07 +0200
Subject: [PATCH] Added subtitle to README

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 921983387..a415b376e 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
-Storm
-==============================
+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)
 
 For more instructions, check out the documentation found in [Getting Started](http://www.stormchecker.org/getting-started.html).