- A bibliography on the philosophy and measurement of complexity.bruce.edmonds.name/combib
- archive.comlab.ox.ac.uk/formal-methods.html
- archive.comlab.ox.ac.uk/z.html
- Abstract State Machine Home Page ...www.eecs.umich.edu/gasm
- LABORATORY MISSION The Laboratory for Applied Logic is a research unit of the Department of Computer Science at Brigham Young University. The laboratory specializes in applying mathematical methods to problems in computer dependability. RESEARCH PROJECTS The research conducted in the LAL is currently divided into two major areas: verification for multi-device communication protocols, ...lal.cs.byu.edu
- Shemesh Web Server The following sites reside on this server: NASA Langley Formal Methods Team Object-Oriented Technology in Aviation Workshop 15th International Conference on Theorem Proving in Higher Order Logics NASA Langley Colloquium/Sigma Lectures Streamlining Software Aspects of Certification Curator and Responsible NASA Official: C. Michael Holloway last modified: 6 February 2002 ...shemesh.larc.nasa.gov
