G - Physics
06
F
Inventor
Country: United States Of America
Message sequence chart analyzer
On-the-fly model checking with partial-order state space...
Static partial order reduction
Verifying hardware in its software context and vice-versa
No associations
LandOfFree
Doron A. Peled does not yet have a rating. At this time, there are no reviews or comments for this inventor.
If you have personal experience with Doron A. Peled, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Doron A. Peled will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-P-1701266