Automatic property generation for the formal verification of bus bridges.

Mathias Soeken, Ulrich Khne, Martin Freibothe, Grschwin Fey, Rolf Drechsler

Browse the full DDECS paper archive.