Software Model Checking for People Who Love Automata.

Matthias Heizmann, Jochen Hoenicke, Andreas Podelski

Browse the full CAV paper archive.