Doron A. Peled
Doron A. Peled
6 books in the database
Books
Software Reliability MethodsDoron A. Peled
Software Reliability Methods
Doron A. Peled · 2013
Automated Technology for Verification and AnalysisDoron A. Peled
Automated Technology for Verification and Analysis
Doron A. Peled · 2005
Software Reliability Methods (Texts in Computer Science)Doron A. Peled
Software Reliability Methods (Texts in Computer Science)
Doron A. Peled · 2001
Time For Verification Essays In Memory Of Amir PnueliDoron A. Peled
Time For Verification Essays In Memory Of Amir Pnueli
Doron A. Peled · 2010
Model Checking and Artificial IntelligenceDoron A. Peled
Model Checking and Artificial Intelligence
Doron A. Peled · 2009
Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Doron A. Peled · 2003
Co-authored books and collections
Books that list Doron A. Peled among their authors but not as the lead author: co-written works, collections and compilations.
Computer aided verificationRajeev Alur
Computer aided verification
Rajeev Alur · 2004
Model checkingEdmund M. Clarke Jr.
Model checking
Edmund M. Clarke Jr. · 1999
Time for VerificationZohar Manna
Time for Verification
Zohar Manna · 2010
Verification, Model Checking, and Abstract InterpretationFrancesco Logozzo
Verification, Model Checking, and Abstract Interpretation
Francesco Logozzo · 2008