Sal.csl.sri.com - SEO Check

Jetzt kostenlos registrieren! PDF Export
Übersicht der SEO Analyse
Metaangaben
100% 
Seitenqualität
50% 
Seitenstruktur
100% 
Verlinkung
98% 
Server
85% 
Externe Faktoren
100% 
SEO Score
Antwortzeit
0,54 s
Dateigröße
3,50 kB
Wörter
212
Medien
1
Anzahl Links
11 Intern / 2 Extern

To-do Liste mit SEO Optimierungen

Meta-Angaben im HTML

Titel
(Extrem wichtig)
Symbolic Analysis Laboratory
Die Länge des Titels ist optimal. (264 Pixel von maximal 580 Pixel Länge)
Es gibt keine Wortwiederholungen im Titel.
Meta-Description
(Extrem wichtig)
SAL: Symbolic Analysis Laboratory
Die Meta-Description hat eine optimale Länge. (216 Pixel von maximal 1000 Pixel Länge)
Crawlbarkeit
(Extrem wichtig)
Es gibt keine Probleme beim Zugriff auf die Webseite.
Canonical Link
(Wichtig)
Es ist kein Canonical Link angegeben.
Sprache
(Wenig wichtig)
Im Text erkannte Sprache: en
Im HTML angegebene Sprache: en
Serverstandort: Vereinigte Staaten von Amerika
Die Sprache wird im HTML Code wie folgt angegeben: en
Alternate/Hreflang Links
(Wenig wichtig)
Die Seite nutzt keine Alternate Links.
Weitere Metatags
(Wenig wichtig)
Es gibt keinen rel next Meta Tag auf der Seite.
Es gibt keinen rel prev Meta Tag auf der Seite.
Domain
(Wenig wichtig)
Die Domain ist keine Subdomain.
Die Länge der Domain ist gut.
Die Domain enthält keine Umlaute.
Seiten URL
(Wenig wichtig)
In der URL wurden keine Parameter entdeckt.
In der URL wurde keine Session ID entdeckt.
Die URL hat nicht zu viele Unterverzeichnisse.
Zeichensatzkodierung
(Wenig wichtig)
Die Zeichensatzkodierung ist nicht im HTTP Header angegeben.
Die Angaben zur Zeichensatzkodierung (UTF-8) sind fehlerfrei.
Doctype
(Nice to have)
Die Doctype Angabe HTML 5 ist korrekt angegeben.
Die Doctype Angabe befindet sich an erster Stelle im HTML-Code.
Favicon
(Nice to have)
Das Favoriten Icon (Favicon) ist korrekt verlinkt.

Meta Tags

NameWert
viewportwidth=device-width, initial-scale=1
authorLeonardo de Moura
descriptionSAL: Symbolic Analysis Laboratory
keywordsmodel checker, symbolic model checker, bounded model checker, formal methods, software verification, hardware verification, test-case generation, decision procedures
langen
Content-Typetext/html; charset=UTF-8
content-typetext/html; charset=UTF-8
X-UA-CompatibleIE=9

Analysiere sal.csl.sri.com jetzt automatisch und vollständig mit allen Unterseiten!

Jetzt kostenlos testen
Garantiert keine Kosten während der Testphase.

Seitenqualität

Inhalt
(Extrem wichtig)
Die Wortzahl ist mit 212 Worten viel zu gering. Die Textlänge sollte mindestens 250 Wörter betragen.
Der Text besteht zu 34.9% aus Füllwörtern.
Worte aus dem Titel werden im Text wiederholt.
Wörter aus der H1 Überschrift werden im Text der Seite verwendet.
Im Text befindet sich eine Aufzählung, dies deutet auf eine gute Textstruktur hin.
Es wurden 4 Fließtextblöcke auf der Seite gefunden.
Es wurden keine Platzhalter Texte bzw. Bilder gefunden.
Es befinden sich keine Duplikate auf der Seite.
Die durchschnittliche Satzlänge ist mit 17.09 Wörtern gut.
Frames
(Extrem wichtig)
Die Seite hat kein Frameset.
Mobile
(Wenig wichtig)
Es ist kein Apple-Touch Icon angegeben.
Der angegebene Viewport (width=device-width, initial-scale=1) ist korrekt.
Die Seite benötigt keine Javascript Dateien.
Bold- und Strongtags
(Wenig wichtig)
Die Nutzung von Strong- und Bold-Tags ist optimal. Wir empfehlen für diese Webseite die Verwendung von bis zu 6 Tags.
Bilder Optimierung
(Wenig wichtig)
Alle gefundenen Bilder haben Alt-Attribute. (Alternativer Bild Text)
Soziale Vernetzung
(Nice to have)
Es befinden sich wenige Social-Sharing Möglichkeiten auf der Seite. Mit Plugins zum Teilen kann die Reichweite der Seite in sozialen Netzwerken erhöht werden.
Zusätzliches Markup
(Nice to have)
Es wurde kein zusätzliches Markup gefunden.
HTTPS
(Wenig wichtig)
Die Seite verwendet HTTPS um Daten sicher zu übertragen.
Alle eingebundenen Dateien werden ebenfalls über HTTPS ausgeliefert.

Medienliste

URLALT-AttributeTitel
https://sal.csl.sri.com/images/sal3.jpgSAL

Seitenstruktur

H1 Überschrift
(Extrem wichtig)
Symbolic Analysis Laboratory
Die H1-Überschrift ist perfekt.
Überschriften
(Wichtig)
Die Überschriftenstruktur ist fehlerfrei.

Überschriftenstruktur

Überschriften HierarchieInhalt
H1 Symbolic Analysis Laboratory
Einige der Linktexte wiederholen sich.
Die Anzahl an internen Links ist ok.
Keiner der Linktexte ist zu lang.
Alle internen Links haben keine dynamischen Parameter.
Es befinden sich 2 externe Links auf der Seite.

Gefundene Links auf dieser Seite

LinkAttributeLinktext
/index.htmlHome
/introduction.htmlIntro
/documentation.htmlDocs
/download.htmlDownload
/mailing_lists.htmlMail
http://fm.csl.sri.com/Extern Subdomain FM Tools
/download.htmldownload
http://sal.csl.sri.com/hybridsal/Subdomain HybridSAL
/introduction.htmlIntroduction
/documentation.htmlDocumentation
/download.htmlTextduplikat Download
/mailing_lists.htmlMailing Lists and Bug Reports
http://fm.csl.sri.com/Extern Subdomain SRI FormalWare

Serverkonfiguration

HTTP-Weiterleitungen
(Extrem wichtig)
Die Seite leitet weiter auf "https://sal.csl.sri.com/"
HTTP-Header
(Wichtig)
Die Webserver Version wird im Header mitgesendet.
Es wird kein X-Powered HTTP-Header mitgesendet.
Der Webserver überträgt die Webseite (HTML) komprimiert.
Performance
(Wenig wichtig)
Die Antwortzeit der HTML-Seite ist mit 0,54 Sekunden länger als die empfohlene Zeit von maximal 0,4 Sekunden. Eine hohe Antwortzeit verlängert unnötig das Crawling und sorgt für eine schlechte User Experience.
Die Webseite lädt nur wenige CSS Dateien (2).
Die Seite benötigt keine Javascript Dateien.
Die Dateigröße des HTML-Dokuments ist mit 4 kB in Ordnung.

HTTP-Header

NameWert
dateMon, 12 May 2025 08:01:06 GMT
serverApache/2.4.41 (Ubuntu)
last-modifiedTue, 15 Feb 2022 01:17:52 GMT
etag"e29-5d8044d518e39-gzip"
accept-rangesbytes
varyAccept-Encoding
content-encodinggzip
content-length1599
content-typetext/html
statuscode200
http_versionHTTP/1.1

Externe Faktoren

Die Seite ist exzellent von anderen Webseiten verlinkt.
Die Seite hat Backlinks von 41 verweisenden Domains.
Die Seite hat insgesamt 54 Backlinks.
Die Seite hat Backlinks von 41 verschiedenen IP Adressen.

Links von Wikipedia

Es wurden keine Links von Wikipedia gefunden.

Robots.txt

Es wurde keine valide Robots.txt Datei gefunden.

Ähnliche Seiten

Suchvorschau

sal.csl.sri.com
Symbolic Analysis Laboratory
SAL: Symbolic Analysis Laboratory

Wichtigste Suchbegriffe

Folgende Keywords wurden erkannt. Überprüfe die Optimierung dieser Keywords für Deine Seite.

KeywordErgebnisPrüfen
Symbolic73%Check
Analysis73%Check
Laboratory73%Check
Analysis Laboratory73%Check
Symbolic Analysis Laboratory73%Check
SAL66%Check
SRI46%Check
Tools34%Check
systems34%Check
model34%Check
Weitere Keywords anzeigen

Analysiere sal.csl.sri.com jetzt automatisch und vollständig mit allen Unterseiten!

Jetzt kostenlos testen
Garantiert keine Kosten während der Testphase.

Cookie Einstellungen

Wir verwenden Cookies, damit unsere Website funktioniert und auch für Analyse- und Werbezwecke. Du kannst optionale Cookies selbstverständlich auch deaktivieren, siehe die folgenden Links für weitere Informationen.

Impressum | Datenschutz

Diese Cookies werden für grundlegende Websitefunktionen benötigt.

Damit wir besser verstehen, wie Besucher unsere Website nutzen.

Damit wir für Dich passgenaue Angebote bereitstellen können.