Scoot: A Tool for the Analysis of SystemC Models.

Nicolas Blanc, Daniel Kroening, Natasha Sharygina

Browse the full TACAS paper archive.