Wow! eBook
Model Checking
Author(s): Edmund M. Clark Jr. (Author), Doron Peleg (Author), Calin Belta (Author)
- Publisher: MIT Press
- Publication Date: 4 Feb. 2000
- Language: English
- Print length: 334 pages
- ISBN-10: 0262032708
- ISBN-13: 9780262032704
Book Description
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
Editorial Reviews
About the Author
Edmund M. Clark, Jr., is Professor of Computer Science at Carnegie Mellon University.
. Orna Grumberg is Professor of Computer Science at Technion, Israel Institute of Technology.
Doron Peleg has worked in both academia and industry. He has taught Finance and Entrepreneurial Management at institutions of higher education including Hunter and Lehman colleges in New York City and Tel Aviv and Tel Hai colleges in Israel.
