Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: * Disallow: /bin/ Disallow: /conf/ Disallow: /inc/ Disallow: /lib/ Disallow: /*.zip$ Disallow: /*.tar$ Disallow: /*.gz$ Disallow: /*.png$ Disallow: /*.svg$ Disallow: |
Title | start - |
Description | User Tools Log In Site Tools Search Log In start What is Workcraft? framework for interpreted graph models elaborate cross-platform GUI for modelling esta |
Keywords | start |
WebSite | workcraft.org |
Host IP | 188.166.157.138 |
Location | Netherlands |
Site | Rank |
US$3,513,558
Last updated: 2023-05-16 21:03:09
workcraft.org has Semrush global rank of 3,012,418. workcraft.org has an estimated worth of US$ 3,513,558, based on its estimated Ads revenue. workcraft.org receives approximately 405,411 unique visitors each day. Its web server is located in Netherlands, with IP address 188.166.157.138. According to SiteAdvisor, workcraft.org is safe to visit. |
Purchase/Sale Value | US$3,513,558 |
Daily Ads Revenue | US$3,244 |
Monthly Ads Revenue | US$97,299 |
Yearly Ads Revenue | US$1,167,583 |
Daily Unique Visitors | 27,028 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
workcraft.org. | A | 3599 | IP: 188.166.157.138 |
workcraft.org. | NS | 3600 | NS Record: ns69.domaincontrol.com. |
workcraft.org. | NS | 3600 | NS Record: ns70.domaincontrol.com. |
workcraft.org. | MX | 3600 | MX Record: 5 ALT2.ASPMX.L.GOOGLE.COM. |
workcraft.org. | MX | 3600 | MX Record: 10 ALT3.ASPMX.L.GOOGLE.COM. |
workcraft.org. | MX | 3600 | MX Record: 10 ALT4.ASPMX.L.GOOGLE.COM. |
workcraft.org. | MX | 3600 | MX Record: 1 ASPMX.L.GOOGLE.COM. |
workcraft.org. | MX | 3600 | MX Record: 5 ALT1.ASPMX.L.GOOGLE.COM. |
User Tools Log In Site Tools Search Log In start What is Workcraft? framework for interpreted graph models elaborate cross-platform GUI for modelling established tools for verification and synthesis source code • latest news • training events Download Workcraft v3.4.0 (needs Java ≥11 ) for Windows (37 MiB) for Linux (42 MiB) for OS X (32-bit backend tools) (40 MiB) download mirror • release notes • distribution Modelling and verification of concurrent algorithms with Petri Nets Synthesis of instruction decoder using Conditional Partial Order Graphs Specification and synthesis of speed-independent controllers from Signal Transition Graphs Modelling self-timed pipelines using Dataflow Structures Tutorials Modelling causality and concurrency Modelling with Finite State Machines: Vending machine Petri net synthesis: Concurrent vending machine Modelling with Petri nets: Dining philosophers Modelling with STGs: Distributed Mutual Exclusion Modelling with STGs: Writer-biased read/write lock |
HTTP/1.1 301 Moved Permanently Server: nginx/1.10.3 (Ubuntu) Date: Mon, 14 Feb 2022 08:44:04 GMT Content-Type: text/html Content-Length: 194 Connection: keep-alive Location: https://workcraft.org/ HTTP/1.1 200 OK Server: nginx/1.10.3 (Ubuntu) Date: Mon, 14 Feb 2022 08:44:04 GMT Content-Type: text/html; charset=utf-8 Connection: keep-alive Vary: Cookie,Accept-Encoding Set-Cookie: DokuWiki=sssgeafou55squ4tg0hjmme6c2; path=/; secure; HttpOnly Expires: Thu, 19 Nov 1981 08:52:00 GMT Cache-Control: no-store, no-cache, must-revalidate Pragma: no-cache Set-Cookie: DW68700bfd16c2027de7de74a5a8202a6f=deleted; expires=Thu, 01-Jan-1970 00:00:01 GMT; Max-Age=0; path=/; secure; HttpOnly |
Domain Name: WORKCRAFT.ORG Registry Domain ID: D153239682-LROR Registrar WHOIS Server: whois.godaddy.com Registrar URL: http://www.whois.godaddy.com Updated Date: 2020-06-07T10:22:44Z Creation Date: 2008-07-07T19:11:05Z Registry Expiry Date: 2023-07-07T19:11:05Z Registrar: GoDaddy.com, LLC Registrar IANA ID: 146 Registrar Abuse Contact Email: abuse@godaddy.com Registrar Abuse Contact Phone: +1.4806242505 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientRenewProhibited https://icann.org/epp#clientRenewProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Registrant State/Province: Tyne and Wear Registrant Country: GB Name Server: NS69.DOMAINCONTROL.COM Name Server: NS70.DOMAINCONTROL.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2022-02-14T09:35:00Z <<< |