Doron Peled

1. Model Checking
   2009/03/09 by Doron Peled, Patrizio Pelliccione, Paola Spoletini · 1 citation
   Computer Science · Mathematics · #Formal Methods in Verification #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Model checking #Computer science #Abstraction model checking #State space #State (computer science) #Programming language #Software #Theoretical computer science #Algorithm #Mathematics
2. All from one, one for all: on model checking using representatives
   1993/01/01 by Doron Peled · 1 citation
   Computer Science · Mathematics · #Abstraction model checking #Algorithm #Artificial intelligence #Class (philosophy) #Computer science #Discrete mathematics #Equivalence (formal languages) #Equivalence relation #Finite-state machine #Formal Methods in Verification #Graph #Logic, programming, and type systems #Mathematics #Model checking #Programming language #Rewriting #Sequence (biology) #Software Testing and Debugging Techniques #State (computer science) #Theoretical computer science