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).