It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
Proposals for narrowing the gap between the formal methods and networking communities.
Lenore D. Zuck
Advertisement
Author Archives
Program Correctness through Self-Certification
Self-certification is simpler to apply than formal verification, and fully validates only the program runs that actually occur.
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