Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Welcome to Lemma |
Description | Welcome to Lemma 1! This is the home page for Lemma 1 Ltd. Lemma 1 provides consultancy in software engineering. We specialise in tools and methods for ap |
Keywords | N/A |
WebSite | lemma-one.com |
Host IP | 66.45.228.22 |
Location | United States |
Site | Rank |
US$885,265
Last updated: 2023-05-18 08:36:06
lemma-one.com has Semrush global rank of 11,956,093. lemma-one.com has an estimated worth of US$ 885,265, based on its estimated Ads revenue. lemma-one.com receives approximately 102,146 unique visitors each day. Its web server is located in United States, with IP address 66.45.228.22. According to SiteAdvisor, lemma-one.com is safe to visit. |
Purchase/Sale Value | US$885,265 |
Daily Ads Revenue | US$818 |
Monthly Ads Revenue | US$24,516 |
Yearly Ads Revenue | US$294,181 |
Daily Unique Visitors | 6,810 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
lemma-one.com. | A | 14399 | IP: 66.45.228.22 |
lemma-one.com. | NS | 14400 | NS Record: dns5.interserver.net. |
lemma-one.com. | NS | 14400 | NS Record: dns4.interserver.net. |
lemma-one.com. | MX | 14400 | MX Record: 0 lemma-one.com. |
Welcome to Lemma 1! This is the home page for Lemma 1 Ltd. Lemma 1 provides consultancy in software engineering. We specialise in tools and methods for applying formal, mathematical, methods for specifying, designing and verifying critical software systems. We can also undertake software development in a range of programming languages and operating environments. ProofPower — a suite of tools for specification and proof in HOL and Z; also the Compliance Tool for specifying and verifying Ada programs. The HOL and Z tools are free open source software. You can obtain ProofPower from the download page. Z STANDARDS PAGE — some contributions to the ISO standardisation of the Z specification language. PAPERS — some papers on formal methods. ClawZ — reports from a project that researched the possibility of using Z to model Simulink diagrams. The successor to the prototype tool developed in this project is now being actively exploited by D-RisQ Ltd. . SCRAPBOOK — odds and ends. If you would |
HTTP/1.1 200 OK Connection: Keep-Alive Keep-Alive: timeout=5, max=100 content-type: text/html last-modified: Thu, 23 Jan 2014 16:41:05 GMT accept-ranges: bytes content-length: 2500 date: Fri, 10 Jun 2022 01:15:47 GMT server: LiteSpeed |
Domain Name: LEMMA-ONE.COM Registry Domain ID: 5143041_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.networksolutions.com Registrar URL: http://networksolutions.com Updated Date: 2018-02-08T20:30:07Z Creation Date: 1997-02-05T05:00:00Z Registry Expiry Date: 2023-02-06T05:00:00Z Registrar: Network Solutions, LLC Registrar IANA ID: 2 Registrar Abuse Contact Email: abuse@web.com Registrar Abuse Contact Phone: +1.8003337680 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: DNS4.INTERSERVER.NET Name Server: DNS5.INTERSERVER.NET DNSSEC: unsigned >>> Last update of whois database: 2022-06-01T10:19:11Z <<< |