Company Filing History:
Years Active: 2003-2006
Title: Innovations of Shoham Ben-David
Introduction
Shoham Ben-David is a notable inventor based in Haifa, Israel. He has made significant contributions to the field of model checking, with a total of 4 patents to his name. His work focuses on developing methods that enhance the efficiency and effectiveness of model verification processes.
Latest Patents
One of his latest patents is titled "Generation of partial traces in model checking." This method involves specifying a path to be traversed through the states of a system under study. It ensures that a specified sequence of events occurs on the designated path between an initial state and a target set of states. The method computes successive reachable sets of states along the specified path, producing a partial trace when no intersection is found between the reachable sets and the target set.
Another significant patent is "Efficient production of disjoint multiple traces." This method defines the states of a system and a transition relation among those states. It includes specifying a property that applies to a target set comprising at least one target state. The method computes successive reachable sets from an initial set of states until an intersection is found, allowing for the computation of mutually-disjoint traces from the target state back to the initial state.
Career Highlights
Shoham Ben-David is currently employed at International Business Machines Corporation (IBM), where he continues to innovate in the field of model checking. His work has been instrumental in advancing the methodologies used in verifying complex systems.
Collaborations
He collaborates with talented individuals such as Anna Gringauze and Ilan Beer, contributing to a dynamic and innovative work environment.
Conclusion
Shoham Ben-David's contributions to model checking through his patents reflect his expertise and commitment to advancing technology. His work at IBM and collaborations with fellow innovators further enhance the impact of his inventions in the field.