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

Created October 19, 2016, Updated May 27, 2021