U.S. flag   An official website of the United States government
Dot gov

Official websites use .gov
A .gov website belongs to an official government organization in the United States.


Secure .gov websites use HTTPS
A lock (Dot gov) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Issues in Software Testing with Model Checkers

January 1, 2003


Vadim Okun
Paul Black
Created October 19, 2016, Updated May 27, 2021