VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques

Model checking is considered one of the most practical applications of theoretical computer science in the verification of concurrent systems, and model checking tools are very important for such applications. This paper presents the model checking tool VERDS with the theoretical background, basic functionalities and modeling techniques with various examples. In particular, the tool includes an im...