Startseite
Website-Details
www.absint.com

www.absint.com

Hier findest du die wichtigsten Informationen, die wir über www.absint.com in unserem System gesammelt haben. Wir hoffen, wir können dir damit weiterhelfen, das Internet und seinen Aufbau besser zu verstehen...

AbsInt: Static Analysis and Formal Verification of Safety-Critical Software

Sprache: Englisch

Description: Since 1998, AbsInt offers unique tools and services for static analysis and formal verification of safety-critical software.

Keywords: absint,abstract,interpretation,static,analysis,safety,critical,embedded,real-time,software,compiler,technology,formal,verification,verified,compilation,WCET,stack,value,runtime,rule,check

Author: webmaster@absint.com

Viewport: width=device-width, initial-scale=1.0

Sicherheit und Einstufung

Die Website enthält laut CLOUDFLARE keine bedenklichen Inhalte und kann sowohl von Minderjährigen als auch in der Arbeit genutzt werden.

Sämtliche Sub-Domains der Haupt-Domain absint.com

absint.com , www.absint.com

Verwendete Technologien

  • Apache HTTP Server

    Apache ist eine freie und quelloffene, plattformübergreifende Webserver-Software.

  • HSTS

    HTTP Strict Transport Security (HSTS) teilt den Browsern mit, dass der Zugriff auf die Website nur über HTTPS erfolgen darf.

DNS-Einträge

IP-Adresse Server:

2a02:247a:275:1a00:0:0:0:1 212.132.76.42