1 paper
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…