Automated Invariant Generation for the Verification of Real-Time Systems.

Bahareh Badban, Stefan Leue, Jan-Georg Smaus

Browse the full CADE paper archive.