Iowa Patent of the Month – July 2023
EnSoft Corp, a leading innovator in software analysis and verification, has introduced a novel approach to analyzing software for safety and security. With the increasing complexity of software systems and the critical role they play in our lives, the need for robust analysis and verification methods is more important than ever.
Traditionally, software analysis and verification have been challenging due to the large number of execution behaviors that can arise from complex code. EnSoft’s method addresses this challenge by computing a compact representation of the software’s execution behaviors, enabling a more efficient and effective analysis process.
EnSoft’s approach involves assigning a variable to each program statement and setting up a system of linear equations. By solving these equations, a compact representation is obtained, which captures the relevant execution behaviors of the software program.
One of the key features of this method is the ability to identify a subset of program statements that are relevant to the specific safety and security property being verified. By computing a homomorphism that maps non-relevant program statements to an identity, the verification process becomes more focused and targeted.
EnSoft Corp’s method also incorporates techniques for analyzing software behaviors that cut across multiple functions. By computing function sequences and applying algebraic reductions, a deeper understanding of the software’s execution is achieved. The compact representation obtained through EnSoft Corp’s method allows for a structured analysis of non-structured parts of the software program. By identifying repetitions of successor elements, non-structured program graphs can be transformed into structured program graphs, facilitating a more comprehensive analysis.
With EnSoft’s innovative approach to software analysis and verification, the challenges associated with understanding, analyzing, and verifying complex software systems are addressed head-on. This method not only improves the efficiency and accuracy of the analysis process but also provides a clearer understanding of software behaviors.
Are you developing new technology for an existing application? Did you know your development work could be eligible for the R&D Tax Credit and you can receive up to 14% back on your expenses? Even if your development isn’t successful your work may still qualify for R&D credits (i.e. you don’t need to have a patent to qualify). To find out more, please contact a Swanson Reed R&D Specialist today or check out our free online eligibility test.
Who We Are:
Swanson Reed is one of the U.S.’ largest Specialist R&D tax advisory firms. We manage all facets of the R&D tax credit program, from claim preparation and audit compliance to claim disputes.
Swanson Reed regularly hosts free webinars and provides free IRS CE and CPE credits for CPAs. For more information please visit us at www.swansonreed.com/webinars or contact your usual Swanson Reed representative.