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', 'Stefan Mitsch', 'Yong Kiam Tan', 'Katherine Cordwell', 'André 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 = {['Maurice ter Beek', 'Annabelle McIver', 'José N. Oliviera']},
	longbooktitle = {FM 2019: Formal Methods – The Next 30 Years},
	publisher = {Springer},
	series = {LNCS},
	volume = {11800}
}