• Doron A. Peled
Part of the Texts in Computer Science book series (TCS)


Software systems have become so much an integral part in our lives that we now naturally interact with them on a daily basis. We buy merchandise using the worldwideweb, and obtain cash from automatic teller machines. We hardly use actual money any more; when we need to make a purchase, the sums of money are usually being transferred as data communication between distributed computer systems. Computers control traffic light systems, aircraft navigation and complicated medical equipment. We trust these systems to work properly. A computer printout is often brought as evidence to support some argument in a discussion or a dispute. We expect that for critical systems, the likelihood of making an error is smaller than the chance of a human operator making the same mistake.


Model Check Formal Method Distribute Computer System Automatic Teller Machine Automatic Verification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Lucent Technologies 2001

Authors and Affiliations

  • Doron A. Peled
    • 1
  1. 1.Computing SciencesBell Labs/Lucent TechnologiesMurray HillUSA

Personalised recommendations