A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Verification of Statecharts Using Data Abstraction
2016
International Journal of Advanced Computer Science and Applications
We present an approach for verifying Statecharts including infinite data spaces. We devise a technique for checking that a formula of the universal fragment of CTL is satisfied by a specification written as a Statechart. The approach is based on a property-preserving abstraction technique that additionally preserves structure. It is prototypically implemented in a logicbased framework using a theorem prover and a model checker. This paper reports on the following results. (1) We present a proof
doi:10.14569/ijacsa.2016.070179
fatcat:iyfbrril5bcbrhft2x5zuppemu