Publication:4037390
From MaRDI portal
zbMath0765.68126MaRDI QIDQ4037390
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
Publication date: 18 May 1993
branching time logic; model checking algorithm; correctness of finite state systems; verifying finite state systems
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks, Compositional verification of asynchronous concurrent systems using CADP