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.

Https

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.

Briefing

Issues in Software Testing with Model Checkers

January 1, 2003

Presenters

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