From 993f806c54451b4650b81f57d589fc04c01f9d26 Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Tue, 24 Mar 2026 11:18:39 -0600 Subject: [PATCH] Fix #66 --- tools/prob/modest.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 tools/prob/modest.md diff --git a/tools/prob/modest.md b/tools/prob/modest.md new file mode 100644 index 0000000..bd3775d --- /dev/null +++ b/tools/prob/modest.md @@ -0,0 +1,22 @@ ++++ +date = 2025-06-07 +draft = false +title = ' The Modest Toolset' +subtitle = 'Quantitative Verification Suite' +links = [ + { title = "Homepage", url = "https://www.modestchecker.net/", icon = 'fa-solid fa-home' }, + # { title = "Source Code", url = "https://github.com/prismmodelchecker/prism", icon = 'fa-solid fa-code' }, + # { title = "Playground", url = "https://cvc5.github.io/app/", icon = 'fa-solid fa-gamepad' } +] +applications = ['Probabilistic Model Checker', 'Statistical Model Checker'] +developers = ['University of Twente', 'Saarland University'] +licenses = ['All Rights Reserved'] +inputs = ['PRISM', 'MRMC'] +interfaces = ['CLI'] +maintenance = ['Actively Maintained'] +# techniques = ['CDCL'] +# publications = ['Kwiatkowska2011'] ++++ + + +The Modest Toolset supports the modelling and analysis of hybrid, real-time, distributed and stochastic systems. \ No newline at end of file