D
Doron A. Peled
10 works on record
Works

Computer aided verification

Time For Verification Essays In Memory Of Amir Pnueli

Automated Technology for Verification and Analysis

Model checking

Software Reliability Methods

Software Reliability Methods (Texts in Computer Science)
Time for Verification
Time for Verification
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Model Checking and Artificial Intelligence
Model Checking and Artificial Intelligence