Abstract
Nonblocking verification can be applied to evaluate the behavior of discrete event systems. Performing nonblocking verification can be computationally costly. In this work, we consider discrete event systems that evolve over time. We study how to reuse results from a previous nonblocking verification, to more efficiently perform nonblocking verification when the system is adapted. We call this approach transformational nonblocking verification, and present an algorithm for the method. The efficiency of the method is evaluated by applying an academic and an industrial use case.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have