The Computer Science Laboratory at SRI International "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." These scalable systems include traditional computer hardware and software, as well as biological systems and nanoelectronics. The website provide a brief description of each of the lab's projects along with a list of recent publications, most of which are available to download free of charge. Other activities, such as workshops and journals, are also described. An interesting feature is the The Risks Digest, which is "a moderated digest" and includes postings on "risks to the public in computers and related systems." Visitors can browse The Risk Digest by date or search the archives.
Comments