A new method to automatically generate computer software components that are guaranteed to behave correctly. Researchers at EPFL discovered a new method to automatically generate computer software components that are guaranteed to behave correctly. Among the benefits of this line of research is making software development easier and making our computing infrastructure less vulnerable to crashes and hangs. Automated software synthesis from specifications reduces the effort needed to obtain the results, because the user only needs to indicate what needs to achieved, not how. It also increases the confidence in the correctness of results, since the generated program is guaranteed to satisfy the indicated properties for all possible program inputs. The key insight in this work was to develop algorithms for solving logical specifications with parameters, generalizing ideas such as those used to solve systems of equations. The resulting algorithm can be used to automatically compile certain classes of declarative specifications into executable code.
TO READ THIS ARTICLE, CREATE YOUR ACCOUNT
And extend your reading, free of charge and with no commitment.
Your Benefits
- Access to all content
- Receive newsmails for news and jobs
- Post ads
