A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
This research proposes a framework that aggregates resources for formal investigation of different properties of systems using disparate analysis methodologies such as simulation, formal methods and code synthesis for real time enactment. There is a plethora of development environments that support individual analysis methodologies; however, those that truly support multiple methods are not common -at least for academic purposes. Therefore complete studies of systems' properties often requiredoi:10.1109/wsc.2015.7408414 dblp:conf/wsc/AliyuT15 fatcat:l552dkdqdnfedptgu7kzwqnh5y