A confiabilidade de um sistema esta relacionada a
capacidade desse sistema de desempenhar suas funcoes 
corretamente com relacao a uma determinada especificacao. 

Neste seminario serao apresentadas quatro tecnicas distintas
que tentam garantir algum nivel de confiabilidade. Essas
tecnicas apresentam objetivos diferentes (especificacao e
verificacao) e dominios diferentes (sistemas paralelos e 
sequenciais).