From 230a2c86d34888a123cdf6273051158c736d7423 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Mon, 8 Jul 2019 09:23:02 +0200 Subject: [PATCH] Mentioning QVBS as Benchmark source in README --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 6dcf702a0..c8d4dbb38 100644 --- a/README.md +++ b/README.md @@ -11,6 +11,8 @@ 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). + Further examples and benchmarks can be found in the following repositories: * **Prism files** (DTMC, MDP, CTMC):