Context-Bounded Model Checking of LTL Properties for ANSI-C Software.

Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer

Browse the full SEFM paper archive.