www.absint.de

Preview meta tags from the www.absint.de website.

Linked Hostnames

1

  • General Meta Tags

    9
    • title
      AbsInt: Static Analysis and Formal Verification of Safety-Critical Software
    • Content-Type
      text/html; charset=utf-8
    • viewport
      width=device-width, initial-scale=1.0
    • page-topic
      Homepage of AbsInt Angewandte Informatik GmbH
    • description
      AbsInt provides sophisticated software products and advanced services in the areas of compiler technology, static program analysis and worst-case execution time prediction. The company name is a shorthand for 'abstract interpretation', a formal method for static program analysis.

  • Link Tags

    3
    • SHORTCUT ICON
      ai.ico
    • stylesheet
      aidentt.css
    • stylesheet
      fp/new.css

Links

2