Proving Completeness of Properties in Formal Verification of Counting Heads for Railways.

Sebastian Kinder, Rolf Drechsler

Browse the full DSD paper archive.