Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems.

Philip Tasche, Paula Herber, Marieke Huisman

Browse the full SEFM paper archive.