GitHub repository: GoncaloLeitao/vigor
Description: Main repository of the Vigor NF verification project.