scientific article
From MaRDI portal
Publication:4037390
zbMath0765.68126MaRDI QIDQ4037390
Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
branching time logicmodel checking algorithmcorrectness of finite state systemsverifying finite state systems
Related Items (2)
CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks ⋮ Compositional verification of asynchronous concurrent systems using CADP
This page was built for publication:
