GSTE is partitioned model checking

Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
[ISBN] [Google Scholar] [DBLP] [Citeseer]

Computer Aided Verification
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 229-241
2004
Note(s): symbolic trajectory evaluation
Papers: segar:fmsd:1995