Reasoning about a class of linear systems of equations in hol.

• Processo: 94/02594-2
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Exterior
• Data de Início da vigência: 19 de setembro de 1994
• Data de Término da vigência: 22 de setembro de 1994
• Área do conhecimento: Engenharias - Engenharia Elétrica
• Pesquisador responsável: Catia Marcondes Angelo
• Beneficiário: Catia Marcondes Angelo
• Instituição Sede: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Formal Hardware Verification | Formal Semantics | Silicon Compilation | The Ordem Proving | Transformational Design