On Handling Source Code Positions and Local Variables in LTL Software Model Checking.

Guillaume Htier, Hanifa Boucheneb

Browse the full ICSoft paper archive.