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
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 229-241
2004
Note(s): symbolic trajectory evaluation
Papers: segar:fmsd:1995