Company Filing History:
Years Active: 2020
Title: The Innovations of Daniel Lewis Neville
Introduction
Daniel Lewis Neville is an accomplished inventor based in Basingstoke, GB. He is known for his significant contributions to the field of software verification. With a focus on automating processes, Neville has developed innovative solutions that enhance the efficiency and reliability of software applications.
Latest Patents
Neville holds a patent for the "Automation of Software Verification." This invention encompasses systems, methods, and software designed to automate software verifications. The process involves generating one or more application program interface (API) call pairs based on the source code of a user module that invokes an API. Each API call pair consists of a first API call followed by a second API call that invokes the API. Additionally, one or more fragments are generated based on these API call pairs, representing execution sequences that include at least one of the API call pairs. The fragments are then verified to ensure their accuracy and functionality.
Career Highlights
Daniel Lewis Neville is currently employed at Blackberry Corporation, where he continues to innovate and contribute to the field of software development. His work focuses on improving software verification processes, which are crucial for ensuring the reliability of applications in various industries.
Collaborations
Neville collaborates with Andrew James Malton, a fellow innovator in the field. Together, they work on advancing technologies that streamline software verification and enhance overall software quality.
Conclusion
Daniel Lewis Neville's contributions to the field of software verification through his innovative patent demonstrate his commitment to improving technology. His work at Blackberry Corporation and collaboration with Andrew James Malton further highlight his impact on the industry.