Browse
FAQ

Author

Arie Gurfinkel

3 books found

Cover of Computer Aided Verification

Computer Aided Verification

Arie Gurfinkel, Vijay Ganesh · First published 2024

Cover of Verified Software : Theories, Tools, and Experiments

Verified Software : Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia · First published 2016

Cover of Multi-valued symbolic model-checking

Multi-valued symbolic model-checking

Arie Gurfinkel · First published 2003