[CZT-Devel] Model Checking???

[Cristian V. S. <vid...@ms...>]

Dear.

I need to know if Model Checking is possible using CZT? If so, where can 
I find related information about that? If not, I'd like to be a member 
of the team for doing a program for Model Checking...

I wait for your comments.

Sincerely,

Cristian.

-- 
Cristian Vidal Silva
Computer Engineer
Master in Computer Science
Ph.D. Student of Michigan State University
Chilean Fulbright Scholar