Métodos Formais

Publicado 4/27/2017, 4:05:21 PM, última modificação 4/27/2017, 4:06:22 PM
 
 
 

Ementa

Sistemas Lógicos e Formais. Classificação de métodos formais. Aplicações de métodos formais. Especificação formal. Verificação formal.

 

 

Bibliografia

HUTH, Michael; RYAN, Mark. Lógica em ciência da computação: modelagem e argumentação sobre sistemas. 2. ed. Rio de Janeiro, RJ: LTC, 2008. 322 p.

NUNES, Daltro J. Introdução à Abstração de Dados. Vol. 21 Série Livros Didáticos Informática UFRGS. Porto Alegre, RS: Ed. Bookman. 2012. 394 p.

CLARKE, E. M.; GRUMBERG, Orna; PELED, Doron. Model Checking. MIT Press. 1999. FISHER, Michael. Practical Formal Methods Using Temporal Logic. Wiley. 2011. 360 p.

SPIVEY, J. M. Understanding Z: a specification language and its formal semantics. Series: Cambridge Tracts in Theoretical Computer Science (No. 3). Cambridge, UK: Ed. Cambridge, 2009. 139 p.

ROSEN, Kenneth H. Matemática discreta e suas aplicações. 6. ed. São Paulo: McGraw-Hill, 2009.982 p. RAMSAY, Allan. Formal methods in artificial intelligence. Cambridge: Cambridge University Press, 1991. 279 p.

ALENCAR, Paulo S. C. de; LUCENA, Carlos Jose Pereira de. Métodos formais para o desenvolvimento de programas. Buenos Aires: Editorial Kapelusz S. A., 1989. 175 p.

BAIER, Christel; KATOEN, Joost-Pieter. Principles of Model Checking (Representation and Mind Series). The MIT Press. 2008.