santoslab.org valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot / ✔
BingBot / ✔
BaiduSpider / ✔
YandexBot / ✔ 

                

                
Meta Tags

                

                    

                        Title
                        SAnToS                        
                    

                    

                        Description
                                                        SAnToS Laboratory Specification, Analysis, and Transformation of Software About SAnToS Lab conducts both theoretical and applied research on a range of to                                                    
                    

                    

                        Keywords
                                                        N/A
                                                    
                    

                

                
Server Information

                

                    

                        WebSite
                        santoslab faviconsantoslab.org                            
                        
                    

                    

                        Host IP
                        185.199.111.153                        
                    

                    

                        Location
                        -                        
                    

                

                
Related Websites

                

                    

                        Site
                        Rank
                    

                

                
More to Explore

                


                     
                

            

            

                
santoslab.org Valuation

                

                    

                        
                            

                                
US$862,072                                

                                

                                
                                

                                    Last updated: 2023-05-13 09:50:27                                    
                                

                            

                            
santoslab.org has Semrush global rank of 12,277,759. santoslab.org has an estimated worth of US$ 862,072, based on its estimated Ads revenue. santoslab.org receives approximately 99,470 unique visitors each day. Its web server is located in -, with IP address 185.199.111.153. According to SiteAdvisor, santoslab.org is safe to visit.
                            

                        		
                    

                

                
Traffic & Worth Estimates

                

                    

                        Purchase/Sale Value
                        US$862,072                            
                    

                    

                        Daily Ads Revenue
                        US$796                            
                    

                    

                        Monthly Ads Revenue
                        US$23,873                            
                    

                    

                        Yearly Ads Revenue
                        US$286,473                            
                    

                    

                        Daily Unique Visitors
                        6,632
                        
                    

                    

                        
                            Note: All traffic and earnings values are estimates.
                        
                    

                

                

                    
                

                                    
                
                
DNS Records

                

                    

                        Host
                        Type
                        TTL
                        Data
                    

                                        

                        santoslab.org.                        
                        A
                        
                        1676                        
                        IP: 185.199.111.153                        
                    

                                        

                        santoslab.org.                        
                        A
                        
                        1676                        
                        IP: 185.199.108.153                        
                    

                                        

                        santoslab.org.                        
                        A
                        
                        1676                        
                        IP: 185.199.110.153                        
                    

                                        

                        santoslab.org.                        
                        A
                        
                        1676                        
                        IP: 185.199.109.153                        
                    

                                                            

                        santoslab.org.                        
                        AAAA
                        
                        3600                        
                        IPV6: 2606:50c0:8002::153                        
                    

                                        

                        santoslab.org.                        
                        AAAA
                        
                        3600                        
                        IPV6: 2606:50c0:8001::153                        
                    

                                        

                        santoslab.org.                        
                        AAAA
                        
                        3600                        
                        IPV6: 2606:50c0:8003::153                        
                    

                                        

                        santoslab.org.                        
                        AAAA
                        
                        3600                        
                        IPV6: 2606:50c0:8000::153                        
                    

                                                            

                        santoslab.org.                        
                        NS
                        
                        300                        
                        NS Record: dns2.name-services.com.                        
                    

                                        

                        santoslab.org.                        
                        NS
                        
                        300                        
                        NS Record: dns4.name-services.com.                        
                    

                                        

                        santoslab.org.                        
                        NS
                        
                        300                        
                        NS Record: dns1.name-services.com.                        
                    

                                        

                        santoslab.org.                        
                        NS
                        
                        300                        
                        NS Record: dns5.name-services.com.                        
                    

                                        

                        santoslab.org.                        
                        NS
                        
                        300                        
                        NS Record: dns3.name-services.com.                        
                    

                                                            

                        santoslab.org.                        
                        MX
                        
                        1800                        
                        MX Record: 10 aspmx.l.google.com.                        
                    

                                        

                        santoslab.org.                        
                        MX
                        
                        1800                        
                        MX Record: 10 aspmx4.googlemail.com.                        
                    

                                        

                        santoslab.org.                        
                        MX
                        
                        1800                        
                        MX Record: 10 alt2.aspmx.l.google.com.                        
                    

                                        

                        santoslab.org.                        
                        MX
                        
                        1800                        
                        MX Record: 10 aspmx2.googlemail.com.                        
                    

                                        

                        santoslab.org.                        
                        MX
                        
                        1800                        
                        MX Record: 10 alt1.aspmx.l.google.com.                        
                    

                                        

                        santoslab.org.                        
                        MX
                        
                        1800                        
                        MX Record: 10 aspmx5.googlemail.com.                        
                    

                                        

                        santoslab.org.                        
                        MX
                        
                        1800                        
                        MX Record: 10 aspmx3.googlemail.com.                        
                    

                                        
                

                
                                
HtmlToTextCheckTime:2023-05-13 09:50:27

                

                    

                        
                            SAnToS Laboratory Specification, Analysis, and Transformation of Software About SAnToS Lab conducts both theoretical and applied research on a range of topics in programming language semantics, analysis, and software engineering. The laboratory is an outgrowth of the programming languages group in the Computer Science Department , Carl R. Ice College of Engineering at Kansas State University . Current Projects Sireum : A High-Assurance System Engineering Platform HAMR : H igh- A ssurance M odel-based R apid Engineering of Embedded Systems Awas : An Information Flow Analyzer and Visualizer for Component-based Systems Logika : A Program Verifier and Proof Checker People John Hatcliff , University Distinguished Professor Robby , Professor Jason Belt, Research Associate Hariharan Thiagarajan, Research Assistant Matthew Weis, Research                            
                        
                    

                

                
                
                                
HTTP Headers

                

                    

                        
                            
HTTP/1.1 200 OK
Server: GitHub.com
Content-Type: text/html; charset=utf-8
Last-Modified: Tue, 17 Nov 2020 14:24:15 GMT
Access-Control-Allow-Origin: *
ETag: "5fb3dd0f-d88"
expires: Tue, 21 Dec 2021 00:09:23 GMT
Cache-Control: max-age=600
x-proxy-cache: MISS
X-GitHub-Request-Id: 2964:26EB:DDB98:15DD83:61C118DB
Content-Length: 3464
Accept-Ranges: bytes
Date: Tue, 21 Dec 2021 04:20:39 GMT
Via: 1.1 varnish
Age: 0
Connection: keep-alive
X-Served-By: cache-ewr18134-EWR
X-Cache: MISS
X-Cache-Hits: 0
X-Timer: S1640060440.713937,VS0,VE14
Vary: Accept-Encoding
X-Fastly-Request-ID: 1c65fe12637f14e01dd74403f52e262b4b9ca7fb

                        		
                    

                

                
                                
santoslab.org Whois Information

                

                    

                        
                            
Domain Name: SANTOSLAB.ORG
Registry Domain ID: D162379933-LROR
Registrar WHOIS Server: whois.enom.com
Registrar URL: http://www.enom.com
Updated Date: 2021-05-20T16:08:57Z
Creation Date: 2011-05-27T16:09:09Z
Registry Expiry Date: 2022-05-27T16:09:09Z
Registrar: eNom, Inc.
Registrar IANA ID: 48
Registrar Abuse Contact Email: abuse@enom.com
Registrar Abuse Contact Phone: +1.4252982646
Domain Status: ok https://icann.org/epp#ok
Registrant State/Province: WA
Registrant Country: US
Name Server: DNS1.NAME-SERVICES.COM
Name Server: DNS2.NAME-SERVICES.COM
Name Server: DNS3.NAME-SERVICES.COM
Name Server: DNS4.NAME-SERVICES.COM
Name Server: DNS5.NAME-SERVICES.COM
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)
>>> Last update of WHOIS database: 2021-12-24T22:06:49Z <<<

                        		
                    

                

                            

        

        

        

            
        

    

    

        
Copyright © 2022 WebZZ.US 0.0219