Pegasus: A Framework for Sound Continuous Invariant Generation.

Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, Andr Platzer

Browse the full FM paper archive.