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 application/pdf
.
Model checking real-time conditional commitment logic using transformation
2018
Journal of Systems and Software
Proving the soundness of the transformation technique − Analyzing the time and space computational complexity of the RTCTLcc model checking Abstract A new logical language for real-time conditional commitments called RTCTL cc has been developed by extending the CTL logic with interval bounded until modalities, conditional commitment modalities, and fulfillment modalities. RTCTL cc allows us to express qualitative and quantitative commitment requirements in a convenient way. These requirements
doi:10.1016/j.jss.2017.12.042
fatcat:k3fbv2gdvrb3dmdmht3zlchq34