Helmut Veith
5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Handbook of Model Checking
Edmund M. Clarke and others (2018) · Springer International Publishing
The Localization Reduction and Counterexample-Guided Abstraction Refinement
Edmund M. Clarke and others (2010) · Springer Berlin Heidelberg
Proactive Detection of Computer Worms Using Model Checking
Johannes Kinder and others (2010) · IEEE Transactions on Dependable and Secure Computing · IEEE Computer Society
Jakstab: A Static Analysis Platform for Binaries
Johannes Kinder and others (2008) · Springer Berlin Heidelberg
Counterexample-guided abstraction refinement for symbolic model checking
Edmund Clarke and others (2003) · Journal of the ACM · Association for Computing Machinery (ACM)