Text this

Number:

Provider:

CAPTCHA:

 _    _    __   __    ______    ______   _____    
| |  | ||  \ \\/ //  /_   _//  /_   _// |  __ \\  
| |/\| ||   \ ` //     | ||     -| ||-  | |  \ || 
|  /\  ||    | ||     _| ||     _| ||_  | |__/ || 
|_// \_||    |_||    /__//     /_____// |_____//  
`-`   `-`    `-`'    `--`      `-----`   -----`

Please enter what you see:

Text this: UML design verification based on model checking techniques