Publication:3430687
From MaRDI portal
zbMath1139.68380MaRDI QIDQ3430687
Publication date: 23 March 2007
model checking; temporal logic; tree automaton; regular expression; finite state system; distributed model checking algorithm
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Branching-time logics with path relativisation, CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks