Formal methods have finally come of age! Specification languages, theorem
provers, and model checkers are beginning to be used routinely in industry.
Mathematical logic is basic to all of these techniques. Until now textbooks
on logic forcomputerscien tists have not kept pace with the development
of tools for hardware and software specification and verification. For example,
in spite of the success of model checking in verifying sequential circuit
designs and communication protocols, until now I did not know of a single
text, suitable for undergraduate and beginning graduate students, that
attempts to explain how this technique works.
- 1
- 2
- 3
前往页