formal.iti.kit.edu
formal.iti.kit.edu is a live English-language website hosted on Karlsruhe Institute of Technology (AS34878) in Germany, served by Apache. cl0q first saw it on 2025-05-28 and last crawled it on 2026-06-16. It resolves to 141.3.57.40. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.
How the site describes itself:
KIT - Application-oriented Formal Verification - Homepage
Application-oriented Formal Verification Research Group at the Institute of Information Security and Dependability (KASTEL)
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2025-05-28 |
| Last crawled | 2026-06-16 |
| IPv4 | 141.3.57.40 |
| IPv6 | 2a00:1398:2:9040::57:40 |
| Network | AS34878 Karlsruhe Institute of Technology · Germany |
| CNAME | i57pc40.iti.kit.edu |
| Language | en-en |
| Server | Apache |