TI - Verificação formal de sistemas modelados em estados finitos PY - 2006 AU - Ferreira, Nelson França Guimarães AU - Silva, Paulo Sérgio Muniz UR - http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/ PP - São Paulo ER -