Search for Author All Reviews
	Veith, Helmut     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     25 years of model checking: history, achievements, perspectives Grumberg O., Veith H., Springer Publishing Company, Incorporated, 2008. 231 pp.  Type: Book (9783540698494) In academia, a festschrift is a book that tends to be either overly pedantic or superficially celebratory, given the fact that it honors a respected colleague. Nonetheless, this festschrift has implications beyond a small group of prac...... Sep 26 2008     Succinct representation, leaf languages, and projection reductions Veith H. Information and Computation 142(2): 207-236, 1998.  Type: Article Problems that are complete for complexity classes usually turn outto be complete under very restrictive types of reducibility. Althoughthis has frequently been observed informally, only very recently hasthere been work proving that thi...... Aug 1 1999
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy