Invariant Generation for Multi-Path Loops with Polynomial Assignments (bibtex)
by Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Reference:
Invariant Generation for Multi-Path Loops with Polynomial AssignmentsAndreas Humenberger, Maximilian Jaroschek, Laura KovácsVerification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Isil Dillig, Jens Palsberg, eds.), volume 10747 of Lecture Notes in Computer Science, pages 226-246, 2018, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/vmcai/HumenbergerJK18,
  author    = {Andreas Humenberger and
               Maximilian Jaroschek and
               Laura Kov{\'{a}}cs},
  editor    = {Isil Dillig and
               Jens Palsberg},
  title     = {{Invariant Generation for Multi-Path Loops with Polynomial Assignments}},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International
               Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10747},
  pages     = {226--246},
  publisher = {Springer},
  year      = {2018},
  url       = {https://arxiv.org/abs/1801.03967},
  doi       = {10.1007/978-3-319-73721-8_11}
}
Powered by bibtexbrowser