Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
Inventor
active
Model checking of non-terminating software programs
System, method and computer program product for checking a...
Using cross-entropy to test executable logic code
No associations
LandOfFree
Hana Chockler does not yet have a rating. At this time, there are no reviews or comments for this inventor.
If you have personal experience with Hana Chockler, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Hana Chockler will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-P-2320987