STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems.

Nikolaj S. Bjrner, Anca Browne, Edward Y. Chang, Michael Coln, Arjun Kapur, Zohar Manna, Henny Sipma, Toms E. Uribe

Browse the full CAV paper archive.