Parameter synthesis with IC3

Download PDF
Open Webpage

Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta

Published: 2013, Last Modified: 11 Jun 2024FMCAD 2013EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Parametric systems arise in different application domains, such as software, cyber-physical systems or tasks scheduling. A key challenge is to estimate the values of parameters that guarantee the desired behaviours of the system.