diff --git a/index.html b/index.html index e65d5b4..05a165e 100644 --- a/index.html +++ b/index.html @@ -108,11 +108,11 @@
"Baas is by far the most user-friendly bisimulation checker I have every tried. +
"BaaS is by far the most user-friendly bisimulation checker I have every tried. Small systems, or ones with millions of transitions, Baas gives me the right answers in virtually no time at all. Never again need I experiment with dotted lines on a whiteboard: just pipe it through - Baas and all will be clear!" + BaaS and all will be clear!"
- Rob van Glabbeek