Home › Authors › Arie Gurfinkel 👤 Arie Gurfinkel 2 books Books by Arie Gurfinkel Verified Software : Theories, Tools, and Experiments 2016 Multi-valued symbolic model-ch Multi-valued symbolic model-checking 2003