Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications

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…