Pegasus: A framework for sound continuous invariant generation

@INPROCEEDINGS{DBLP:conf/fm/SogokonMTCP19,
	pdf = {pub/Pegasus.pdf},
	slides = {pub/Pegasus-slides.pdf},
	ref = {DBLP:journals/fmsd/SogokonMTCP22},
	refname = {FMSD},

  author    = {Andrew Sogokon and
               Stefan Mitsch and
               Yong Kiam Tan and
               Katherine Cordwell and
               Andr\'{e} Platzer},
  title     = {{Pegasus}: A Framework for Sound Continuous Invariant Generation},
  booktitle = {FM},
  year      = {2019},
  pages     = {138-157},
  doi       = {10.1007/978-3-030-30942-8_10},
  editor    = {ter Beek, Maurice and
               McIver, Annabelle and
               Oliviera, Jos{\'{e}} N.},
  longbooktitle = {FM 2019: Formal Methods -- The Next 30 Years},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {11800},
}```