Israeli computer scientist known for developing "model checking" which is a method of verifying hardware and software designs.
Israeli computer scientist known for developing "model checking" which is a method of verifying hardware and software designs.