Deductive Verification of Parameterized Embedded Systems Modeled in SystemC.

Philip Tasche, Ral E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman

Browse the full VMCAI paper archive.