Webseiten-Bericht für prob2.de
Webseiten-Bericht für prob2.de
Generiert am 12 Februar 2026 22:11 PM
Aktuelle Statistiken? UPDATE !
Der Wert ist 46/100
SEO Inhalte
Die Inhaltsanalyse zeigt, ob Seitentitel, Beschreibungen, Überschriften, Bilder und Textstruktur Suchmaschinen und Besuchern klare Signale geben.
Seitentitel
The ProB Animator and Model Checker - ProB Documentation
Länge : 56
Bei prob2.de wirkt der Seitentitel stimmig: 56 Zeichen sind lang genug für eine aussagekräftige Formulierung und bleiben zugleich innerhalb des empfohlenen Rahmens von 10 bis 70 Zeichen.
Seitenbeschreibung
Länge : 0
prob2.de hat aktuell keine Seitenbeschreibung. Eine individuelle Description sollte den wichtigsten Inhalt der Seite kurz zusammenfassen und kann die Darstellung in Suchergebnissen verbessern. Mit diesem kostenlosen Werkzeug lässt sich eine passende Beschreibung vorbereiten.
Suchbegriffe
prob2.de nutzt keine META-Suchbegriffe. Der wichtigste SEO-Faktor bleibt der sichtbare Inhalt, aber ergänzende Keywords können bei der Pflege und Dokumentation der Seite hilfreich sein. Bei Bedarf können Sie dieses kostenlose Werkzeug verwenden.
Og META Eigenschaften
Für prob2.de wurden keine OG Properties erkannt. Eigene Open-Graph-Daten helfen, Titel, Beschreibung und Bild beim Teilen der Seite besser zu steuern. Mit diesem kostenlosen Werkzeug lassen sich passende OG-Angaben erstellen.
Überschriften
| H1 | H2 | H3 | H4 | H5 | H6 |
| 1 | 0 | 6 | 0 | 0 | 0 |
- [H1] The ProB Animator and Model Checker
- [H3] Versions of ProB
- [H3] Implementation
- [H3] Features
- [H3] Citing ProB
- [H3] Contact
- [H3] Licence
Bilder
Es konnten 2 Bilder auf dieser Webseite gefunden werden.
Die Bilder von prob2.de sollten nachgearbeitet werden: 1 ALT-Attribute fehlen. Sinnvolle ALT-Texte erklären, was auf den Bildern zu sehen ist, und machen den Inhalt robuster für SEO und Barrierefreiheit.
Text/HTML Verhältnis
Anteil : 30%
prob2.de erreicht ein Text-zu-HTML-Verhältnis von 30%. Das liegt im idealen Bereich zwischen 25% und 70% und deutet auf ein gutes Verhältnis zwischen sichtbarem Inhalt und technischem Markup hin.
Flash
Auf prob2.de wurde kein Flash gefunden. Das ist positiv, weil moderne Browser und Suchmaschinen mit aktuellen HTML-, CSS- und JavaScript-Lösungen deutlich besser umgehen.
IFrame
Bei prob2.de wurden keine IFrames erkannt. Das reduziert technische Abhängigkeiten und macht die Seite für Analyse, Indexierung und Wartung übersichtlicher.
SEO Links
Eine klare Linkstruktur erleichtert Suchmaschinen das Crawlen, verteilt interne Relevanz und hilft Besuchern, wichtige Inhalte schnell zu finden.
URL Rewrite
Die Links von prob2.de enthalten Parameter und sind dadurch weniger sprechend. Klarere URL-Strukturen können die Verständlichkeit für Nutzer und Suchmaschinen verbessern.
Underscores in the URLs
prob2.de enthält URLs mit Unterstrichen. Eine Umstellung auf Bindestriche kann die Trennung einzelner Begriffe deutlicher machen.
In-page links
We found a total of 88 links including 0 link(s) to files
| Anker | Typ | Natürlich |
|---|---|---|
| - | intern | natürliche Links |
| ProB Cli | intern | natürliche Links |
| ProB Tcl/Tk | intern | natürliche Links |
| ProB2-UI | intern | natürliche Links |
| ProB Java API | intern | natürliche Links |
| ProB for Rodin | intern | natürliche Links |
| ProB for TLA | intern | natürliche Links |
| BMotion Studio | intern | natürliche Links |
| ProB Wiki | intern | natürliche Links |
| ProB User Manual | intern | natürliche Links |
| ProB Java API | extern | natürliche Links |
| BMotion Studio | extern | natürliche Links |
| Download | intern | natürliche Links |
| Blog | intern | natürliche Links |
| Bugs | intern | natürliche Links |
| Links | intern | natürliche Links |
| Team | intern | natürliche Links |
| Main Page | intern | natürliche Links |
| User Manual | intern | natürliche Links |
| Tutorials | intern | natürliche Links |
| Developer Manual | intern | natürliche Links |
| Benchmarks | intern | natürliche Links |
| Licence | intern | natürliche Links |
| Logic Calculator | intern | natürliche Links |
| Recent changes | intern | natürliche Links |
| Log in | intern | natürliche Links |
| Help | extern | natürliche Links |
| Main Page/ | intern | natürliche Links |
| B-Method | extern | noFollow |
| constraint-based symbolic checking | intern | natürliche Links |
| test-case generation | intern | natürliche Links |
| Event-B | extern | noFollow |
| CSP-M | extern | noFollow |
| TLA+ | extern | noFollow |
| Z | extern | noFollow |
| Rodin | extern | noFollow |
| Jupyter kernel | extern | noFollow |
| data validation | extern | noFollow |
| video from the Deutsche Bahn | extern | noFollow |
| Alain Colmerauer Prize | extern | noFollow |
| Michael Leuschel | extern | noFollow |
| probcli | intern | natürliche Links |
| download of the latest release | intern | natürliche Links |
| new graphical user interface ProB2-UI | intern | natürliche Links |
| separate download | intern | natürliche Links |
| VisB | intern | natürliche Links |
| ProB for use within Rodin | intern | natürliche Links |
| available as a plugin | intern | natürliche Links |
| ProB2-Java-API | intern | natürliche Links |
| Maven Central | extern | noFollow |
| SICStus Prolog | extern | noFollow |
| constraint solver based on Kodkod (and thus SAT) | intern | natürliche Links |
| an integration with the SMT solver Z3 | intern | natürliche Links |
| model checking engine (using TLC) | intern | natürliche Links |
| LTSmin | extern | noFollow |
| model checking backend | intern | natürliche Links |
| ProB 1.15.1 | intern | natürliche Links |
| VisB | intern | natürliche Links |
| MCTS game play | intern | natürliche Links |
| LTL | intern | natürliche Links |
| VisB | intern | natürliche Links |
| Rodin theories | intern | natürliche Links |
| ProB2-UI 1.1.0 | intern | natürliche Links |
| well-definedness prover | intern | natürliche Links |
| REAL datatype | intern | natürliche Links |
| VSCode | intern | natürliche Links |
| Atom | intern | natürliche Links |
| support for Alloy models | intern | natürliche Links |
| LET and IF-THEN-ELSE for expressions and predicates | intern | natürliche Links |
| directed model checking | intern | natürliche Links |
| ProB 1.4.0 | intern | natürliche Links |
| More in Release History | intern | natürliche Links |
| large part of B | intern | natürliche Links |
| refinement checking | intern | natürliche Links |
| LTL model checking | intern | natürliche Links |
| supports CSP-M | intern | natürliche Links |
| graphically visualized | intern | natürliche Links |
| ProZ | intern | natürliche Links |
| TLA+ specifications | intern | natürliche Links |
| Atelier-B as a disprover and prover | extern | noFollow |
| railML data | extern | noFollow |
| http://dx.doi.org/10.1007/s10009-007-0063-9 | extern | noFollow |
| Bibtex entries for the above references | intern | natürliche Links |
| https://prob.hhu.de/w/index.php?title=The_ProB_Animator_and_Model_Checker&oldid=6048 | extern | natürliche Links |
| To Website | extern | natürliche Links |
| Datenschutz/Privacy Policy | intern | natürliche Links |
| EPL v1.0 license | extern | natürliche Links |
| More information. | extern | natürliche Links |
SEO Suchbegriffe
Die Suchbegriffsauswertung zeigt, welche Themen die Seite tatsächlich vermittelt und ob wichtige Begriffe in Inhalt und Seitenelementen konsistent vorkommen.
Suchbegriffswolke
model also rodin prob michael available support checking visb used
Keywords Consistency
| Suchbegriff | Inhalt | Seitentitel | Suchbegriffe | Seitenbeschreibung | Überschriften |
|---|---|---|---|---|---|
| prob | 61 |  |
 |
|
|
| available | 18 | |
|
|
|
| model | 11 | |
|
|
|
| support | 8 | |
|
|
|
| rodin | 7 | |
|
|
|
Benutzerfreundlichkeit
Gute Benutzerfreundlichkeit stärkt Vertrauen und erleichtert die Nutzung. Geprüft werden unter anderem URL, Favicon, Sprache und Druckdarstellung.
URL
Domain : prob2.de
Länge : 8
Favoriten Icon
Ein Favicon ist für prob2.de vorhanden. Das ist ein kleines, aber sichtbares Signal für Markenwirkung und Nutzerorientierung.
Druckeigenschaften
prob2.de hat offenbar keine druckfreundliche CSS-Variante. Wenn Inhalte häufig ausgedruckt werden, lohnt sich eine angepasste Print-Darstellung.
Sprache
prob2.de deklariert die Sprache als en. Das hilft Browsern, Suchmaschinen und Hilfstechnologien bei Aussprache, Darstellung und regionaler Einordnung.
Dublin Core
prob2.de verzichtet auf Dublin-Core-Metadaten. Falls die Seite stark dokumenten- oder publikationsorientiert ist, könnten solche Angaben ergänzt werden.
Dokument
Sauberes HTML, eine korrekte Zeichencodierung und moderne Standards verbessern Kompatibilität, Zugänglichkeit und die zuverlässige Verarbeitung der Seite.
Doctype
HTML 5
Verschlüsselung
Der Zeichensatz von prob2.de ist angegeben: UTF-8. Dadurch sinkt das Risiko fehlerhafter Zeichenanzeige in Browsern und Auswertungssystemen.
W3C Validität
Fehler : 0
Warnungen : 0
E-Mail Datenschutz
Auf prob2.de wurde keine E-Mail-Adresse im Klartext erkannt. Das reduziert das Risiko, dass Adressen automatisch gesammelt und für Spam missbraucht werden.
Veraltetes HTML
Im Quelltext von prob2.de wurden keine deprecated HTML-Tags erkannt. Aktuelle HTML-Strukturen sind robuster für Browser und Validatoren.
Tipps zur Webseitengeschwindigkeit
|
Bei prob2.de wurden keine verschachtelten Tabellen erkannt. Das ist positiv für sauberes Markup und responsive Gestaltung. |
|
prob2.de nutzt CSS direkt in HTML-Elementen. Eine Auslagerung in CSS-Dateien kann den Quelltext übersichtlicher und besser wartbar machen. |
|
Die Anzahl der CSS-Dateien bei prob2.de wirkt unkritisch. Wenige, sinnvoll gebündelte Stylesheets erleichtern die technische Optimierung. |
|
Die JavaScript-Anzahl von prob2.de ist unauffällig. Eine schlanke Skriptstruktur hilft besonders auf mobilen Geräten. |
|
prob2.de nutzt gzip-Komprimierung. Dadurch können HTML, CSS und JavaScript kleiner übertragen werden, was die Ladezeit verbessern kann. |
Mobile
Mobile Optimierung ist wichtig, weil viele Besucher Smartphones nutzen. Viewport, Icons und ungeeignete Technologien beeinflussen Darstellung und Bedienbarkeit.
Mobile Optimierung
|
Apple Icon |
|
META Viewport Tag |
|
Flash Inhalt |
Optimierung
Sitemap, robots.txt, Komprimierung und Analysesysteme beeinflussen, wie effizient eine Website gecrawlt, ausgeliefert und gezielt weiterentwickelt werden kann.
XML-Sitemap
Fehlt
Für prob2.de wurde keine XML-Sitemap gefunden. Eine Sitemap listet wichtige URLs und kann Suchmaschinen Hinweise zu Aktualisierung und Struktur der Website geben.
Robots.txt
http://prob2.de/robots.txt
prob2.de enthält eine robots.txt-Datei. Damit lassen sich Crawler-Regeln und der Hinweis auf die Sitemap zentral steuern.
Analytics
Fehlt
Für prob2.de wurde kein Analyse-Tool erkannt. Ohne Webanalyse bleibt schwer nachvollziehbar, wie Besucher die Seite tatsächlich nutzen.
PageSpeed Insights
PageSpeed Insights bewertet Leistung, Barrierefreiheit, bewährte Verfahren und SEO für Desktop und Mobilgeräte und macht technische Bremsen sichtbar.
Gerät
Kategorien
Website-Überprüfung
Website-Überprüfung ist ein kostenloses SEO Werkzeug zur Analyse Ihrer Webseite