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

Testing with Model Checker: Insuring Fault Visibility

January 1, 2003

Presenters

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