Runtime Verification on Abstract Finite State Models

KP Jevitha, Bharat Jayaraman, M Sethumadhavan

Finite-state models are ubiquitous in the study of concurrent systems, especially controllers and servers that operate in a repetitive cycle. In this paper, we show how to extract…