Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
II Seminario Informal (mas Formal) Sem^antica do PVS: Tipos Dependentes e Aplicac~oes
 

Summary: II Semin´ario Informal (mas Formal)
Sem^antica do PVS: Tipos Dependentes e Aplica¸c~oes
Andr´e Luiz Galdino1
Universidade de Bras´ilia
Departamento de Matem´atica
Grupo Teoria da Computa¸c~ao
1Liberado para cursar doutorado pelo
Departamento de Matem´atica
Campus de Catal~ao
Universidade Federal de Goi´as
28 de Outubro de 2004
Andr´e Luiz Galdino Universidade de Bras´ilia
II Semin´ario Informal (mas Formal) Sem^antica do PVS: Tipos Dependentes e Aplica¸c~oes
O que ´e PVS?
Andr´e Luiz Galdino Universidade de Bras´ilia
II Semin´ario Informal (mas Formal) Sem^antica do PVS: Tipos Dependentes e Aplica¸c~oes
O que ´e PVS?
O PVS ( Prototype Verification System) ´e um ambiente para
especifica¸c~ao e verifica¸c~ao semi-autom´atica.
Andr´e Luiz Galdino Universidade de Bras´ilia

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics