1 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Pablo F. Castro, Luciano Putruele, Renzo Degiovanni +1
We present an approach to automatically synthesize synchronized models from lightweight formal specifications. Our approach takes as input a specification of a distributed system a…