Domain and Website Information:
altergo.it
Domain name - altergo.it
Site title - Pagina Cortesia | Netsons
Go to website - Pagina Cortesia | Netsons
Site GEO location
Location Country - Italy
Provider - Netsons s.r.l.
Site Logo
IP address:
Domain name servers:
dns1.netsons.net dns4.netsons.net dns3.netsons.net dns2.netsons.net
All records:
☆ altergo.it. 295 IN A 46.252.152.156
☆ altergo.it. 295 IN MX 0 mail.altergo.it.
☆ altergo.it. 3595 IN NS dns1.netsons.net.
☆ altergo.it. 3595 IN NS dns2.netsons.net.
☆ altergo.it. 3595 IN NS dns3.netsons.net.
☆ altergo.it. 3595 IN NS dns4.netsons.net.
☆ altergo.it. 295 IN TXT "v=spf1 include:mailgun.org ~all"
☆ altergo.it. 3595 IN SOA dns1.netsons.net. admin.netsons.com. 2023100404 3600 2400 604800 3600
Brief facts about altergo:
Alt-Ergo, an automatic solver for mathematical formulas, is mainly used in formal program verification. It operates on the principle of satisfiability modulo theories. Development was undertaken by researchers at the Paris-Sud University, Laboratoire de Recherche en Informatique, Inria Saclay Ile-de-France, and CNRS. Since 2013, project management and oversight has been conducted by OCamlPro company. It is released under the free and open-source software CeCILL-C license.
Formal verification - In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics.
Z3 Theorem Prover - Z3, also known as the Z3 Theorem Prover, is a satisfiability modulo theories solver developed by Microsoft.
© DMS 2011-