Mutable Verification Environments through Visitor and Dynamic Register Map Configuration Author(s): Matteo Barbati and Alberto Allara Format: pdf Download