indexo.dev

prover.com

.com crawl

First seen 2026-04-12 · Last seen 2026-05-06 · ok HTTP/1.1 200 1273 ms crawled 2026-05-02

SE · 46.16.236.24 · AS44136 ODERLAND Webbhotell AB

Reputation 100/100

Classifying

HTML metadata

Title
Railway Signaling Automation with formal methods and digital twin
Description
We digitalize the railway by implementing Signaling Design Automation, leveraging our expertise in formal methods and digital twins.
Language
en-US
Generator
WordPress 6.9.4
Canonical
https://www.prover.com/
Feeds

Open Graph

url
https://www.prover.com/
title
Railway Signaling Automation with formal methods and digital twin
locale
en_US
site name
Prover - Engineering a Safer World
description
Railway Signaling Automation with formal methods and digital twin Railway Signaling Automation with formal methods and digital twin We digitalize the railway by implementing Signaling Design Automation, leveraging our expertise in formal methods and digital twins. We digitalize the railway by implementing Signaling Design Automation, leveraging our expertise in formal methods and digital twins. Our

Technology

Server
LiteSpeed
CMS
WordPress
Fonts
  • Google Fonts

Third-party hosts loaded (3)

  • js-eu1.hs-scripts.com×2
  • fonts.gstatic.com×1
  • js-eu1.hsforms.net×1

Social

Contact

Email
Phone
Address
st news and eventsFebruary 27, 2026

Registration

Registrar
Domeneshop AS dba domainnameshop.com
Created
1997-12-17
Expires
2026-12-16 211 days left
Updated
2025-11-19
Name servers
  • ns10.dnsmadeeasy.com
  • ns11.dnsmadeeasy.com
  • ns12.dnsmadeeasy.com
  • ns13.dnsmadeeasy.com
  • ns14.dnsmadeeasy.com
  • ns15.dnsmadeeasy.com

DNS records live

NS
  • ns10.dnsmadeeasy.com
  • ns11.dnsmadeeasy.com
  • ns12.dnsmadeeasy.com
  • ns13.dnsmadeeasy.com
  • ns14.dnsmadeeasy.com
  • ns15.dnsmadeeasy.com
MX
  • 10 prover-com.mail.protection.outlook.com
TXT
Show 5 TXT records
  • v=spf1 include:spf.protection.outlook.com include:_spf.act-on.net include:26789739.spf05.hubspotemail.net -all
  • openai-domain-verification=dv-fzrywkWGSeGYQOkkLVfsp1Dw
  • google-site-verification=Nh-w5M_Hrx8QD9WeioaaNoLO2-7Wf-gL4e9f1FV3CcY
  • atlassian-domain-verification=ABjB69WxqG5pFGDNeDhFmlPJLR/ukEKfRJa/e6JiDhvJhkDOMcJtT7pk7AeHqW0N
  • MS=ms65268117

Certificate (current)

R12
from 2026-03-29 to 2026-06-27
Expires in 39 days

Full certificate history on crt.sh ↗

Links to (3)

Linked from (2)