Encontrado 1 documento, a visualizar página 1 de 1
Ordenado por
Data
ir para a página:
1
Partial derivative automata formalized in Coq
Almeida, José Bacelar; Moreira, Nelma; Pereira, David; Sousa, Simão Melo deIn this paper we present a computer assisted proof of the correctness of a partial derivative automata construction from a regular expression within the Coq proof assistant. This proof is part of a for- malization of Kleene algebra and regular languages in Coq towards their usage in program certification.
Data: 2011
|
Origem: RepositóriUM - Universidade do Minho
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||