Doron Peled
Identifiers
- Open LibraryOL7648748A
Top Subjects
- Computer software, verification (1)
- Artificial intelligence (1)
- Automatic theorem proving (1)
- Models and modelmaking (1)
- Sat (educational test) (1)
Books by Doron Peled
Total count: 4
-
Model CheckingMIT Press1999-01-01
-
Computer Aided Verification11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, ProceedingsSpringer London, Limited2003-01-01
-
Automated Technology for Verification and Analysis14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, ProceedingsSpringer2016-01-01
-
Model Checking, Second EditionMIT Press2018-01-01