Testimonial. Letter in source. Details
This commit is contained in:
Joshua Moerman
parent
733e6f0b9b
commit
617dca34aa
1 changed files with 35 additions and 27 deletions
62
index.html
62
index.html
|
|
@ -10,33 +10,33 @@
|
||||||
<meta name="author" content="Joshua Moerman">
|
<meta name="author" content="Joshua Moerman">
|
||||||
<meta name="description" content="Checking behavioural equivalence was never this easy!">
|
<meta name="description" content="Checking behavioural equivalence was never this easy!">
|
||||||
</head>
|
</head>
|
||||||
|
|
||||||
<!--
|
<!--
|
||||||
Grapje voor 1 april. We moeten nog plaatjes van onszelf toevoegen.
|
Hi there!
|
||||||
Misschien ook iets betere plaatjes dan deze katjes...
|
|
||||||
|
|
||||||
Hier zijn wat goede gratis plaatjes te vinden:
|
Great to see you look at the source of this webpage. As you
|
||||||
https://fresh-folk.com/
|
have probably guessed, this is an April fools day joke. Hope
|
||||||
https://glazestock.com/
|
you can enjoy :-).
|
||||||
https://humaaans.com/
|
|
||||||
https://icons8.com/ouch
|
|
||||||
https://illlustrations.co/
|
|
||||||
https://isometric.online/
|
|
||||||
https://lukaszadam.com/illustrations
|
|
||||||
https://manypixels.co/gallery/
|
|
||||||
https://opendoodles.com/
|
|
||||||
https://undraw.co/
|
|
||||||
https://woobro.design/
|
|
||||||
|
|
||||||
Misschien moeten we ook een echt lijstje maken voor bisimulatie pakketen.
|
In case you actually want to compute bisimulations, you can
|
||||||
Er zijn tools eschikbaar, bijv. in model checkers zoals MCRL2 en Storm,
|
have a look at model checkers such as:
|
||||||
maar ook CoPar uit Erlangen is goed om naar te linken.
|
- mCRL2: https://www.mcrl2.org
|
||||||
Kan ook op een andere pagina, of in een FAQ.
|
- Storm: https://www.stormchecker.org
|
||||||
|
- CADP: https://cadp.inria.fr
|
||||||
|
- UPPAAL: http://www.uppaal.org
|
||||||
|
- Prism: https://www.prismmodelchecker.org
|
||||||
|
Many provide implementations for checking bisimilarity.
|
||||||
|
|
||||||
Groetjes,
|
I would like to draw you attention to CoPaR:
|
||||||
Joshua
|
- https://git8.cs.fau.de/software/copar
|
||||||
-->
|
It is a generic implementation of parition refinement, based
|
||||||
|
on category theory. It implements all the usual bisimulation
|
||||||
|
algorithms (bisimulation, weighted bisimulation, lumping, ...)
|
||||||
|
with a single generic algorithm. In most cases it provides the
|
||||||
|
current best complexity of these algorithms.
|
||||||
|
|
||||||
|
Kind regards,
|
||||||
|
Joshua Moerman
|
||||||
|
-->
|
||||||
<body>
|
<body>
|
||||||
<div>
|
<div>
|
||||||
<section class="intro">
|
<section class="intro">
|
||||||
|
|
@ -99,13 +99,21 @@
|
||||||
</div>
|
</div>
|
||||||
|
|
||||||
<div>
|
<div>
|
||||||
<!-- Todo: plaatje -->
|
<div class="profile">
|
||||||
|
<img class="profile-pic" src="Rob.jpg"><br>
|
||||||
|
Prof. Dr. Rob van Glabbeek.<br>
|
||||||
|
<em>Expert.</em>
|
||||||
|
</div>
|
||||||
</div>
|
</div>
|
||||||
|
|
||||||
<div>
|
<div>
|
||||||
<h3>Testimonials</h3>
|
<h3>Testimonial</h3>
|
||||||
<p>Todo.
|
<p style="font-style:italic">"Baas is by far the most user-friendly bisimulation checker I have every tried.
|
||||||
Lorem Ipsum is slechts een proeftekst uit het drukkerij- en zetterijwezen. Lorem Ipsum is de standaard proeftekst in deze bedrijfstak sinds de 16e eeuw, toen een onbekende drukker een zethaak met letters nam en ze door elkaar husselde om een font-catalogus te maken. Het heeft niet alleen vijf eeuwen overleefd maar is ook, vrijwel onveranderd, overgenomen in elektronische letterzetting.
|
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!"
|
||||||
|
<p style="text-align:right">- Rob van Glabbeek
|
||||||
</div>
|
</div>
|
||||||
</div>
|
</div>
|
||||||
|
|
||||||
|
|
@ -136,6 +144,7 @@
|
||||||
<tr><td>Weighted Automata<td>✓<td>✓
|
<tr><td>Weighted Automata<td>✓<td>✓
|
||||||
<tr><td>Weighted Tree Automata<td><td>✓
|
<tr><td>Weighted Tree Automata<td><td>✓
|
||||||
<tr><td>Deterministic Register Automata<td><td>✓
|
<tr><td>Deterministic Register Automata<td><td>✓
|
||||||
|
<tr><td>Markovian Timed Fault Trees<td><td>✓
|
||||||
<tr><td>Quantum Software Product Line Systems<td><td>✓
|
<tr><td>Quantum Software Product Line Systems<td><td>✓
|
||||||
<tr><td>Labelled Transition Blockchain Coalgebras<td><td>✓
|
<tr><td>Labelled Transition Blockchain Coalgebras<td><td>✓
|
||||||
</table>
|
</table>
|
||||||
|
|
@ -166,7 +175,6 @@
|
||||||
|
|
||||||
<footer>
|
<footer>
|
||||||
Copyright 2020 - BaaS - Bisimulation Online
|
Copyright 2020 - BaaS - Bisimulation Online
|
||||||
<!-- willen we een email adres? -->
|
|
||||||
</footer>
|
</footer>
|
||||||
</div>
|
</div>
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue