Uma Linguagem Formal para Analisar Contratos Escrito por Nick | Cypherpunks Brasil

Uma Linguagem Formal para Analisar Contratos

Escrito por Nick Szabo em 2002, apresenta uma mini linguagem para profissionais e pesquisadores interessados em redigir e analisar contratos. Destina-se para a leitura por computadores também. O principal objetivo dessa linguagem é especificar, da forma mais inequívoca, completa e sucinta possível, contratos comuns ou termos contratuais. Isso inclui contratos financeiros, garantias (penhoras) e outros tipos de segurança, transferência de propriedade, desempenho de serviços on-line e fluxo de trabalho da cadeia de suprimentos.

cypherpunks.com.br/documentos/linguagem-formal-de-contratos/