A Forward Analysis for Recurrent Sets

Bakhirkin, A.; Berdine, J.; Piterman, N.

A Forward Analysis for Recurrent Sets (bibtex)

@string{springer="© Springer-Verlag"}
@string{lncs="<A HREF=http://www.springer.de/comp/lncs/index.html>Lecture Notes in Computer Science</A>"}
@InProceedings{BBP15,
  author = {A. Bakhirkin and J. Berdine and N. Piterman},
  title =        {A Forward Analysis for Recurrent Sets},
  booktitle = {22nd International Static Analysis Symposium},
  OPTpages = {},
  year = {2015},
  OPTvolume = {},
  address = {San Malo, France},
  publisher = springer,
  series = lncs,
  keywords = {Model Checking, Static Analysis},
  OPTpdf = {},
}