A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
SPACE is a technique for model-driven engineering of reactive distributedsystems. One of the strengths of its tool-set Arctis is that the system engineercan formally analyze the models for design errors such that these can becorrected early in the development process. In this paper, we go a step further andintroduce a technique that refines the fault detection and, in addition, offers a highlyautomatic mechanism to remedy the errors. For that, we combine model checking,the already existingdoi:10.14279/tuj.eceasst.47.717 dblp:journals/eceasst/HanH12 fatcat:3k5skjy7ufbp3dejvkzvqlk4di