Text this

Number:

Provider:

CAPTCHA:

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

Please enter what you see:

Text this: UML design verification based on model checking techniques