Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking.

Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Toms Vojnar

Browse the full TACAS paper archive.