Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Paul Black and William Majurski Paper Named 20 Year ICFEM Most Influential Paper Award
Since 1997, ICFEM provides a forum for both researchers and practitioners who are interested in developing practical formal methods for software engineering or applying existing formal techniques to improve software development process in practice systems.
More Information
For ICFEM's 20 Year Most Influential Paper Award Entitled, "Using Model Checking to Generate Tests From Specifications"