spass-prover.org

Max-Planck-Institut für Informatik - Automation of Logic Spass

Welcome to the SPASS Home Page! SPASS An Automated Theorem Prover for First-Order Logic with Equality. If you are interested in first-order logic theorem proving, the formal analysis of software, systems, protocols, formal approaches to AI planning, decision procedures, modal logic theorem proving, SPASS may offer you the right functionality. The SPASS www-pages offer to you. A functional but resource restricted web interface to SPASS called WebSPASS. A prototype and experiments. Ways to contact us.
history traffic contact

OVERVIEW

This web page spass-prover.org presently has a traffic ranking of five hundred and sixty-one thousand four hundred and three (the lower the better). We have probed two pages inside the web site spass-prover.org and found four websites interfacing with spass-prover.org. We were able to note one contacts and locations for spass-prover.org to help you communicate with them. This web page spass-prover.org has been online for one thousand and sixty-two weeks, seven days, eighteen hours, and forty-seven minutes.
Traffic Rank
#561403
Pages Crawled
2
Links to this site
4
Contacts
1
Locations
1
Online Since
Feb 2004

SPASS-PROVER.ORG RANKINGS

This web page spass-prover.org is seeing diverging quantities of traffic until the end of the year. Famously, the site had a ranking in the past 24 hours of five hundred and sixty-one thousand four hundred and three.
Traffic for spass-prover.org

Date Range

1 week
1 month
3 months
This Year
Last Year
All time
Traffic ranking (by month) for spass-prover.org

Date Range

All time
This Year
Last Year
Traffic ranking by day of the week for spass-prover.org

Date Range

All time
This Year
Last Year
Last Month

SPASS-PROVER.ORG HISTORY

This web page spass-prover.org was first documented on February 25, 2004. It is now one thousand and sixty-two weeks, seven days, eighteen hours, and forty-seven minutes old.
REGISTERED
February
2004

WEBPAGE PERIOD OF EXISTANCE

20
YEARS
4
MONTHS
8
DAYS

LINKS TO WEB SITE

The VeriDis Team

The VeriDis project aims to exploit and further develop the advances and integration of interactive and automated theorem proving applied to the area of concurrent and distributed systems. The goal of our project is to assist algorithm and system designers to carry out formally proved developments, where proofs of relevant properties as well as bugs can be found fully automatically.

WHAT DOES SPASS-PROVER.ORG LOOK LIKE?

Desktop Screenshot of spass-prover.org Mobile Screenshot of spass-prover.org Tablet Screenshot of spass-prover.org

CONTACTS

MPI fur Informatik

Joerg Herrmann

Im Stadtwald, Gebaeude 46

Saarbrucken, DE, 66123

DE

49.6819325801
jh@mpi-sb.mpg.de

SPASS-PROVER.ORG HOST

Our parsers revealed that a lone page on spass-prover.org took five hundred and thirty-one milliseconds to load. Our crawlers could not detect a SSL certificate, so we consider this site not secure.
Load time
0.531 secs
SSL
NOT SECURE
Internet Protocol
139.19.86.83

NAME SERVERS

ns.mpi-sb.mpg.de
francois.mpi-sb.mpg.de

SERVER OS AND ENCODING

I caught that spass-prover.org is operating the Apache/2.0 operating system.

PAGE TITLE

Max-Planck-Institut für Informatik - Automation of Logic Spass

DESCRIPTION

Welcome to the SPASS Home Page! SPASS An Automated Theorem Prover for First-Order Logic with Equality. If you are interested in first-order logic theorem proving, the formal analysis of software, systems, protocols, formal approaches to AI planning, decision procedures, modal logic theorem proving, SPASS may offer you the right functionality. The SPASS www-pages offer to you. A functional but resource restricted web interface to SPASS called WebSPASS. A prototype and experiments. Ways to contact us.

CONTENT

This web page states the following, "Welcome to the SPASS Home Page! SPASS An Automated Theorem Prover for First-Order Logic with Equality." We saw that the web site said " If you are interested in first-order logic theorem proving, the formal analysis of software, systems, protocols, formal approaches to AI planning, decision procedures, modal logic theorem proving, SPASS may offer you the right functionality." It also said " The SPASS www-pages offer to you. A functional but resource restricted web interface to SPASS called WebSPASS."

VIEW SUBSEQUENT BUSINESSES

Санкт-Петербургский союз ученых СПбСУ

Сахарова народным депутатом от Академии наук СССР. СПбСУ является независимой неправительственной организацией, объединяющей более 900 членов - исследователей, преподавателей и администраторов науки из учреждений Российской Академии наук, отраслевых научно-исследовательских институтов, учебных заведен.

Spass-SMS.de - SMS Sprüche - SMS versenden

Hier finden Sie den grossen SMS Sprüche Index. Mit SMS GEld verdienen! Viel Spasß mit den SMS Sprüchen wünscht Ihr Team von.

Kinder Erwachsenen Airbrush Spass Tattoos Airbrush Tattoos für Kinder, Jugendliche Erwachsene in Berlin Brandenburg Umgebung

Kinder- und Familienfest in Falkensee. Kinderfest in der DRK Kita Sperlinghausen. Fashion Week 2013 D-Loft Berlin.

Fahrschule Ullrich, Kaiserslautern

Lassen Sie sich von unserem Team. Begeistern und motiviert, aber.