K-Induction Based Verification of Real-Time Safety Critical Systems.

Tams Tth, Andrs Vrs, Istvn Majzik

Browse the full DEPCoS paper archive.