20 citations · 122 across the 19 of their papers we have counts for
1 paper · 1 filter
Foto Afrati, Theodore Andronikos, Vassia Pavlaki +2
CTL is the dominant temporal specification language in practice mainly due to the fact that it admits model checking in linear time. Logic programming and the database query langua…