From 617dca34aa05a0b675bb8ea2004d4fae6e88a844 Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Tue, 31 Mar 2020 15:39:53 +0200 Subject: [PATCH] Testimonial. Letter in source. Details --- index.html | 62 ++++++++++++++++++++++++++++++------------------------ 1 file changed, 35 insertions(+), 27 deletions(-) diff --git a/index.html b/index.html index 6997e85..9563842 100644 --- a/index.html +++ b/index.html @@ -10,33 +10,33 @@ - + I would like to draw you attention to CoPaR: + - 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 +-->
@@ -99,13 +99,21 @@
- +
+
+ Prof. Dr. Rob van Glabbeek.
+ Expert. +
-

Testimonials

-

Todo. - 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. +

Testimonial

+

"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!" +

- Rob van Glabbeek

@@ -136,6 +144,7 @@ Weighted Automata✓✓ Weighted Tree Automata✓ Deterministic Register Automata✓ + Markovian Timed Fault Trees✓ Quantum Software Product Line Systems✓ Labelled Transition Blockchain Coalgebras✓ @@ -166,7 +175,6 @@