This inventor holds 1 USPTO granted patent and 4 published patent applications and 2 EPO patents. Top assignee: Mitsubishi Electric Corporation. Active years: 2021.
Company Filing History:
Years Active: 2021
Title: Kazuki Yonemochi: Innovator in Equivalence Verification Technology
Introduction
Kazuki Yonemochi is a prominent inventor based in Tokyo, Japan. He has made significant contributions to the field of equivalence verification technology. His innovative work has led to the development of a unique patent that addresses critical challenges in software verification.
Latest Patents
Kazuki holds a patent for an "Equivalence verification apparatus and computer readable medium." This invention involves an equivalence verification unit that judges whether functions in pre-change and post-change source code are equivalent. The patent also includes a partial verification judgment unit that assesses combinations of functions to determine if they include both inequivalent and non-inequivalent paths. This technology enhances the reliability of software by ensuring that changes do not introduce errors.
Career Highlights
Kazuki Yonemochi is currently employed at Mitsubishi Electric Corporation, where he continues to innovate and develop advanced technologies. His work is instrumental in improving software verification processes, which are crucial for maintaining the integrity of software systems.
Collaborations
Kazuki collaborates with talented colleagues, including Mikiya Yoshida and Makoto Isoda. Together, they contribute to the advancement of technology at Mitsubishi Electric Corporation.
Conclusion
Kazuki Yonemochi is a key figure in the field of equivalence verification technology, with a patent that showcases his innovative spirit. His contributions are vital for the future of software reliability and verification.