From 16aee7c386c6d69c90509d6ff47cca6ecf8f9d0f Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Tue, 30 Jul 2019 08:52:15 +0200 Subject: [PATCH] fixed a typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index c8d4dbb38..7b7c33683 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ Benchmarks Example input files for Storm can be obtained from https://github.com/moves-rwth/storm-examples. -Various Benchmarks together with example invocations of Storm can be found at the [Quantitative Verification Benchmark Suite (QVBS)](http://qcomp.org/benchmarks). +Various Benchmarks together with example invocations of Storm can be found at the [Quantitative Verification Benchmark Set (QVBS)](http://qcomp.org/benchmarks). Further examples and benchmarks can be found in the following repositories: