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.

Briefing

Issues in Software Testing with Model Checkers

January 1, 2003

Presenters

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