joshua/bisimulation-online
1
Fork 0
Code Activity

Baas to BaaS

Browse source
This commit is contained in:
Joshua Moerman 2020-04-01 08:51:45 +02:00
parent a571ad8724
commit c55f1a85e5
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
index.html
View file

@ -108,11 +108,11 @@
<div> <div>
<h3>Testimonial</h3> <h3>Testimonial</h3>
<p style="font-style:italic">"Baas is by far the most user-friendly bisimulation checker I have every tried. <p style="font-style:italic">"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 Small systems, or ones with millions of transitions, Baas gives me the
right answers in virtually no time at all. Never again need I right answers in virtually no time at all. Never again need I
experiment with dotted lines on a whiteboard: just pipe it through experiment with dotted lines on a whiteboard: just pipe it through
Baas and all will be clear!" BaaS and all will be clear!"
<p style="text-align:right">- Rob van Glabbeek <p style="text-align:right">- Rob van Glabbeek
</div> </div>
</div> </div>