Verisoft.de
Verisoft is ranked 9,136,864 in the United States. 'The Verisoft Project.'
9,136,864Rank in United States
--Worldwide Rank
| Monthly pages viewed | < 300 | |
| Monthly visits | < 300 | |
| Value per visitor | -- | |
| Estimated worth | $726.49 | |
| External links | 67 | |
| Number of pages | -- |
Last Updated: 04/16/2018 . Estimated data, read disclaimer.
Content
www.Verisoft.de
Topics: Consortium, Project Structure, Goals And Results, Publications, and Internal.
Links- Links out
- shemesh.larc.nasa.gov Proceedings of the Sixth NASA Langley Formal Methods Workshop
- verisoftxt.de Verisoft XT - The Verisoft XT Project
- flexray.com FlexRay - The communication system for advanced automotive control
- lri.fr bibtex2html: BibTeX to HTML converter - Laboratoire de Recherche
| Server Location | |
| Universitaet Des Saarlandes Saarbruecken Saarland Saarbruecken Germany 49.23, 7 | |
It is hosted by Universitaet Des Saarlandes Saarbruecken (Saarland, Saarbruecken,) using Apache/2 web server. It has 2 DNS records, ns1.s-dns.de, and ns2.s-dns.de. Its local IP address is 134.96.247.159.
IP: 134.96.247.159
Web Server: Apache/2
Encoding: iso-8859-1
| PING peano.cs.uni-sb.de (134.96.247.159) 56(84) bytes of data. | |
| 64 bytes from peano.cs.uni-saarland.de (134.96.247.159): icmp_req=1 ttl=46 | 135 ms |
| 64 bytes from peano.cs.uni-saarland.de (134.96.247.159): icmp_req=2 ttl=46 | 134 ms |
| 64 bytes from peano.cs.uni-saarland.de (134.96.247.159): icmp_req=3 ttl=46 | 134 ms |
| --- peano.cs.uni-sb.de ping statistics --- | |
| 3 packets transmitted, 3 received, 0% packet loss, time 2002ms | |
| rtt min/avg/max/mdev = 134.397/134.809/135.230/0.453 ms | |
| rtt min/avg/max/mdev = 134.397/134.809/135.230/0.453 ms |
Pinging the server, resulted in a 135 ms response.
| Server Setup | |
| Date: | -- |
|---|---|
| Server: | Apache/2.2.3 (Debian) DAV/2 SVN/1.4.2 mod_ssl/2.2.3 OpenSSL/0.9.8c |
| Content-Location: | index.en.html |
| Vary: | negotiate,accept-language |
| TCN: | choice |
| Last-Modified: | -- |
| ETag: | "438071-1253-4f68940;438085-e8-233c8440" |
| Accept-Ranges: | bytes |
| Content-Length: | 4691 |
| Content-Type: | text/html; charset=iso-8859-1 |
Similar domains
verisofteurope.com
verisol.com
verisona.com
verisonicsticks.com
verisonwireless.tk
