A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Handling state space explosion in verification of component-based systems: A review
[article]
2017
arXiv
pre-print
Component-based design is a different way of constructing systems which offers numerous benefits, in particular, decreasing the complexity of system design. However, deploying components into a system is a challenging and error-prone task. Model checking is one of the reliable methods that automatically and systematically analyse the correctness of a given system. Its brute-force check of the state space significantly expands the level of confidence in the system. Nevertheless, model checking
arXiv:1709.10379v1
fatcat:rnywyiaadbbcdlsd7amzpwsjui