preguntar acerca de formal-verification

j'ai travaillé sur projet, qui est une combinaison d'un serveur d'application et d'une base de données d'objets, et qui tourne actuellement sur une seule machine. Il y a quelques temps j'ai lu papier qui décrit une base de données relationnelle distr …