Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Home | |
Description | UPPAAL Related Tools: Stratego | CORA | TRON | TIGA | ECDAR UPPAAL Home Navigation: Home | Features | Getting Started | Downloads | Case Studies | Team | Contact |
Keywords | N/A |
WebSite | uppaal.org |
Host IP | 130.225.57.104 |
Location | Denmark |
Site | Rank |
US$2,464,992
Last updated: 2023-05-04 02:58:45
uppaal.org has Semrush global rank of 4,293,850. uppaal.org has an estimated worth of US$ 2,464,992, based on its estimated Ads revenue. uppaal.org receives approximately 284,423 unique visitors each day. Its web server is located in Denmark, with IP address 130.225.57.104. According to SiteAdvisor, uppaal.org is safe to visit. |
Purchase/Sale Value | US$2,464,992 |
Daily Ads Revenue | US$2,276 |
Monthly Ads Revenue | US$68,262 |
Yearly Ads Revenue | US$819,136 |
Daily Unique Visitors | 18,962 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
uppaal.org. | A | 3599 | IP: 130.225.57.104 |
uppaal.org. | NS | 3600 | NS Record: ns2.loopia.se. |
uppaal.org. | NS | 3600 | NS Record: ns1.loopia.se. |
Related Tools: Stratego | CORA | TRON | TIGA | ECDAR UPPAAL Home Navigation: Home | Features | Getting Started | Downloads | Case Studies | Team | Contact This page’s menu: Download Figure 1: Uppaal on screen. Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). The tool is developed in collaboration between the Department of Information Technology at Uppsala University, Sweden and the Department of Computer Science at Aalborg University in Denmark. Download The current official release is Uppaal 4.0.15 (November 18, 2019). Since Feb 26 2008, we also distribute a development snapshots of the tool. The current version is 4.1.26-2 released October 5th, 2022. Getting Started To find out more about Uppaal , read this short Introduction , further information is avilable on the Getting Started pages. License The Uppaal tool is free for |
HTTP/1.1 302 Found Date: Tue, 26 Oct 2021 05:36:30 GMT Server: Apache Location: https://uppaal.org/ Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Tue, 26 Oct 2021 05:36:31 GMT Server: Apache X-Frame-Options: SAMEORIGIN Last-Modified: Mon, 28 Jun 2021 12:29:57 GMT ETag: "1225-5c5d2a5adfb40" Accept-Ranges: bytes Content-Length: 4645 Vary: Accept-Encoding Content-Type: text/html |
Domain Name: UPPAAL.ORG Registry Domain ID: D143787469-LROR Registrar WHOIS Server: whois.ascio.com Registrar URL: http://www.ascio.com Updated Date: 2021-03-17T11:50:49Z Creation Date: 2007-04-17T08:54:37Z Registry Expiry Date: 2022-04-17T08:54:37Z Registrar: Ascio Technologies, Inc. Danmark - Filial af Ascio technologies, Inc. USA Registrar IANA ID: 106 Registrar Abuse Contact Email: abuse@ascio.com Registrar Abuse Contact Phone: +1.4165350123 Domain Status: ok https://icann.org/epp#ok Registrant Organization: Paul Fersman Petersson Registrant Country: SE Name Server: NS3.LOOPIA.SE Name Server: NS4.LOOPIA.SE DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-09-14T06:38:15Z <<< |