SRI International
Edit Page
Report
Scan day: 17 February 2014 UTC
9
Virus safety - good
Description: Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
The Computer Science Laboratory studies the logical foundations of scalable systems that are beyond the scope of traditional testing or simulation, and builds and applies efficient high-level tools for rigorous mechanical analysis. Current systems of interest include not only traditional computer hardware and software, but also biological systems and nanoelectronics.
Size: 369 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Computer Science Laboratory |
| Keywords: | |
| Description: | |
| IP-address: | 130.107.1.100 |
WHOIS Info
| NS | Name Server: NS.SRI.COM Name Server: NS1.SRI.COM |
| WHOIS | Status: clientTransferProhibited |
| Date | Creation Date: 17-jan-1986 Expiration Date: 18-jan-2015 |