|
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
|
