Minxue Pan

Title: Minxue Pan: Innovator in Interrupt-Driven System Verification

Introduction

Minxue Pan is a notable inventor based in Jiangsu, China. He has made significant contributions to the field of system verification, particularly through his innovative methods that enhance the reliability of interrupt-driven systems. His work is characterized by a deep understanding of automaton models and their applications in verification processes.

Latest Patents

Minxue Pan holds a patent for an "Interrupt-driven system verification method based on interrupt sequence diagram." This method involves several steps, including establishing an interrupt-driven system model based on an interrupt sequence diagram. It also includes dividing interaction fragments into basic and composite interaction fragments, converting these into automaton models, and verifying the model using an automaton verification tool. This patent showcases his expertise in creating efficient verification methods that are crucial for modern computing systems. He has 1 patent to his name.

Career Highlights

Minxue Pan is affiliated with Nanjing University, where he contributes to research and development in the field of system verification. His academic background and professional experience have positioned him as a key figure in his area of expertise. His work not only advances theoretical knowledge but also has practical implications for the development of reliable systems.

Collaborations

Minxue Pan collaborates with esteemed colleagues such as Shouyu Chen and Tian Zhang. Their combined efforts in research and development further enhance the impact of their work in the field of system verification.

Conclusion

Minxue Pan is a distinguished inventor whose contributions to interrupt-driven system verification are noteworthy. His innovative methods and collaboration with fellow researchers continue to influence the field positively.