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.


  • Science > General
  • Science > Technology

Education Levels:


    NSDL,oai:nsdl.org:2200/20111120195505221T,Science,NSDL_SetSpec_internetscout,Technology,Science -- Technology



    Access Privileges:

    Public - Available to anyone

    License Deed:

    Creative Commons Attribution Non-Commercial Share Alike


    This resource has not yet been aligned.
    Curriki Rating
    'NR' - This resource has not been rated
    'NR' - This resource has not been rated

    This resource has not yet been reviewed.

    Not Rated Yet.

    Non-profit Tax ID # 203478467