From dad60725e9d7d7919d975ed39cdd43c9f0238240 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20Sch=C3=BCssele?= Date: Tue, 4 Apr 2023 11:27:48 +0200 Subject: [PATCH] Add links to webinterface (#610) --- .../WebsiteStatic/config/tool_pages/automata_library.html | 2 +- trunk/source/WebsiteStatic/config/tool_pages/automizer.html | 2 +- .../WebsiteStatic/config/tool_pages/buechi_automizer.html | 2 +- trunk/source/WebsiteStatic/config/tool_pages/eliminator.html | 2 +- trunk/source/WebsiteStatic/config/tool_pages/kojak.html | 2 +- trunk/source/WebsiteStatic/config/tool_pages/lasso_ranker.html | 2 +- trunk/source/WebsiteStatic/config/tool_pages/ltl_automizer.html | 2 +- .../source/WebsiteStatic/config/tool_pages/perti_automizer.html | 2 +- trunk/source/WebsiteStatic/config/tool_pages/referee.html | 2 +- trunk/source/WebsiteStatic/config/tool_pages/taipan.html | 2 +- 10 files changed, 10 insertions(+), 10 deletions(-) diff --git a/trunk/source/WebsiteStatic/config/tool_pages/automata_library.html b/trunk/source/WebsiteStatic/config/tool_pages/automata_library.html index 1aecf64ccca..27ddc588f65 100644 --- a/trunk/source/WebsiteStatic/config/tool_pages/automata_library.html +++ b/trunk/source/WebsiteStatic/config/tool_pages/automata_library.html @@ -18,7 +18,7 @@

Automata Library

Web Interface

-

The library is available via a web interface. +

The library is available via a web interface. We devised a small script language called Automata Script that allows to define automata and specify operations that should be performed. You can find several sample files in the web interface.

diff --git a/trunk/source/WebsiteStatic/config/tool_pages/automizer.html b/trunk/source/WebsiteStatic/config/tool_pages/automizer.html index abd46f1b888..b052dd8c023 100644 --- a/trunk/source/WebsiteStatic/config/tool_pages/automizer.html +++ b/trunk/source/WebsiteStatic/config/tool_pages/automizer.html @@ -40,7 +40,7 @@

Awards

Web Interface

Ultimate Automizer is - available via a web interface in which you can verify C programs. + available via a web interface in which you can verify C programs.

Download

diff --git a/trunk/source/WebsiteStatic/config/tool_pages/buechi_automizer.html b/trunk/source/WebsiteStatic/config/tool_pages/buechi_automizer.html index 0bdc2f0fd52..7d21b6137ed 100644 --- a/trunk/source/WebsiteStatic/config/tool_pages/buechi_automizer.html +++ b/trunk/source/WebsiteStatic/config/tool_pages/buechi_automizer.html @@ -13,7 +13,7 @@

Büchi Automizer

Web Interface

-

Ultimate Automizer is available via a web interface in which you can analyse termination of C programs. This version has some limitations. We use a theorem prover that does not support non-linear arithmetic and therefore the built-in tool LassoRanker can only provide linear ranking functions.

+

Ultimate Automizer is available via a web interface in which you can analyse termination of C programs. This version has some limitations. We use a theorem prover that does not support non-linear arithmetic and therefore the built-in tool LassoRanker can only provide linear ranking functions.

Commandline Version

Ultimate Büchi Automizer and the built-in tool LassoRanker are in heavy development. A recent version is available on request, please contact Matthias Heizmann.

diff --git a/trunk/source/WebsiteStatic/config/tool_pages/eliminator.html b/trunk/source/WebsiteStatic/config/tool_pages/eliminator.html index 6f6af2c3ac4..e9cbab4ae69 100644 --- a/trunk/source/WebsiteStatic/config/tool_pages/eliminator.html +++ b/trunk/source/WebsiteStatic/config/tool_pages/eliminator.html @@ -27,7 +27,7 @@

Eliminator

Web Interface

-

Ultimate Eliminator is available via a web interface. +

Ultimate Eliminator is available via a web interface. In this web interface Ultimate Eliminator wraps the SMTInterpol SMT solver.

diff --git a/trunk/source/WebsiteStatic/config/tool_pages/kojak.html b/trunk/source/WebsiteStatic/config/tool_pages/kojak.html index 3c87b5c4cd4..46b8b84e3aa 100644 --- a/trunk/source/WebsiteStatic/config/tool_pages/kojak.html +++ b/trunk/source/WebsiteStatic/config/tool_pages/kojak.html @@ -8,7 +8,7 @@

Kojak

Web interface

Ultimate Kojak is - available via a web interface. + available via a web interface.

diff --git a/trunk/source/WebsiteStatic/config/tool_pages/lasso_ranker.html b/trunk/source/WebsiteStatic/config/tool_pages/lasso_ranker.html index 31524deb39d..904f3ac9d7b 100644 --- a/trunk/source/WebsiteStatic/config/tool_pages/lasso_ranker.html +++ b/trunk/source/WebsiteStatic/config/tool_pages/lasso_ranker.html @@ -74,7 +74,7 @@

Web Interface

Ultimate LassoRanker is available via a -web interface. This web interface allows `playing around' with lasso programs written C or the Boogie intermediate verification language. +web interface. This web interface allows `playing around' with lasso programs written C or the Boogie intermediate verification language.

diff --git a/trunk/source/WebsiteStatic/config/tool_pages/ltl_automizer.html b/trunk/source/WebsiteStatic/config/tool_pages/ltl_automizer.html index 611806a30d8..201e1f0bc1f 100644 --- a/trunk/source/WebsiteStatic/config/tool_pages/ltl_automizer.html +++ b/trunk/source/WebsiteStatic/config/tool_pages/ltl_automizer.html @@ -6,7 +6,7 @@

LTL Automizer

Web interface

-

Ultimate LTL Automizer is available via a web interface.

+

Ultimate LTL Automizer is available via a web interface.

CAV 2015 Submission "Fairness Modulo Theory: A New Approach to LTL Software Model Checking"

Extended version of the paper

diff --git a/trunk/source/WebsiteStatic/config/tool_pages/perti_automizer.html b/trunk/source/WebsiteStatic/config/tool_pages/perti_automizer.html index 94ac55290bf..429e7d75d97 100644 --- a/trunk/source/WebsiteStatic/config/tool_pages/perti_automizer.html +++ b/trunk/source/WebsiteStatic/config/tool_pages/perti_automizer.html @@ -5,7 +5,7 @@

Petri Automizer

Ultimate Petri Automizer implements a Petri net-based approach for the verification of concurrent programs.

Web Interface

-

Petri Automizer is available via a web interface.

+

Petri Automizer is available via a web interface.

diff --git a/trunk/source/WebsiteStatic/config/tool_pages/referee.html b/trunk/source/WebsiteStatic/config/tool_pages/referee.html index b770f8f07ff..996eba86330 100644 --- a/trunk/source/WebsiteStatic/config/tool_pages/referee.html +++ b/trunk/source/WebsiteStatic/config/tool_pages/referee.html @@ -5,7 +5,7 @@

Referee

Ultimate Referee checks given invariants.

Web Interface

-

Referee is available via a web interface.

+

Referee is available via a web interface.

diff --git a/trunk/source/WebsiteStatic/config/tool_pages/taipan.html b/trunk/source/WebsiteStatic/config/tool_pages/taipan.html index 63684907803..b91379f682d 100644 --- a/trunk/source/WebsiteStatic/config/tool_pages/taipan.html +++ b/trunk/source/WebsiteStatic/config/tool_pages/taipan.html @@ -8,7 +8,7 @@

Taipan

Web interface

Ultimate Taipan is - available via a web interface. + available via a web interface.