In contrast to popular belief, proving termination is not always impossible.
Byron Cook
Author Archives
Software Engineering and Formal Methods
The answer to software reliability concerns may lie in formal methods.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved