Search for Author All Reviews
	Clarke, Edmund M.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Handbook of model checking Clarke E., Henzinger T., Veith H., Bloem R., Springer International Publishing, New York, NY, 2018. 1210 pp.  Type: Book (978-3-319105-74-1) Due to the proliferation and pervasiveness of hardware and software entities in everyday life, ascertaining their trustworthiness is of paramount importance. Model checking is a logic-based approach that determines whether the abstract...... May 20 2019     Towards personalized prostate cancer therapy using delta-reachability analysis Liu B., Kong S., Gao S., Zuliani P., Clarke E.  HSCC 2015 (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, Apr 14-16, 2015) 227-232, 2015.  Type: Proceedings In 2005, I was diagnosed with prostate cancer. This paper fits what I learned: one faces difficult choices because each cancer is different and there are many treatment options. This paper focuses on the hormone treatment that shuts do...... Jun 17 2015     Model checking Clarke E., Grumberg O., Peled D. (ed), MIT Press, Cambridge, MA, 1999. 314 pp.  Type: Book (9780262032704) Since the inception of computing, and indeed even before computers were first built, there has been interest in using computers to decide mathematical or logical questions. Of course, Gödel’s pioneering work showed t...... Apr 1 2000
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy