Um método para verificação formal e dinâmica de sistemas de software concorrentes
BR Santos - 2016 - repositorio.ufal.br
Neste trabalho é apresentado um método para verificação formal e dinâmica de software
concorrentes. O objetivo é oferecer um método capaz de identificar problemas inerentes a …
concorrentes. O objetivo é oferecer um método capaz de identificar problemas inerentes a …
[인용][C] JConformity: uma ferramenta para verificaç ao de conformidade entre código e modelo para programas concorrentes
LC Santos, JAM Santos, B Daniel de Carvalho…