Author

Doron A. Peled

11 books found

Cover of Software Reliability Methods

Software Reliability Methods

Doron A. Peled · First published 2001

Cover of Time for Verification

Time for Verification

Zohar Manna,Doron A. Peled · First published 2011

Cover of Time for Verification

Time for Verification

Zohar Manna, Doron A. Peled · First published 2010

Cover of Time For Verification Essays In Memory Of Amir Pnueli

Time For Verification Essays In Memory Of Amir Pnueli

Doron A. Peled · First published 2010

Cover of Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

Doron A. Peled, Michael Wooldridge · First published 2009

Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Doron A. Peled,Yih-Kuen Tsay · First published 2008

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo, Doron A. Peled, Leonore D. Zuck · First published 2008

Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Doron A. Peled · First published 2005

Cover of Computer aided verification

Computer aided verification

Rajeev Alur, Doron A. Peled · First published 2004

Cover of Formal Techniques for Networked and Distributed Systems - FORTE 2002

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Doron A. Peled, Moshe Y. Vardi · First published 2003

Cover of Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled · First published 1999