Brewka, Lukasz; Soler, José; Berger, Michael - In: Business Systems Research 5 (2014) 1, pp. 21-33
paper will describe the MODUS project with focus on the technical methodologies that can assist formal verification and … choice of the existing open-source model verification engines, model verification producing inputs to be fed into these …