A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Parameter Synthesis with IC3 (Informal Presentation)
2015
International Workshop on Synthesis of Complex Parameters
Parametric systems arise in many application domains, from real-time systems to software to cyber-physical systems. Parameters are fundamental to model unknown quantities at design time and allow a designer to explore different instantiation of the system (i.e. every parameter valuation induces a different system), during the early development phases. A key challenge is to automatically synthesize all the parameter valuations for which the system satisfies some properties. In this talk we focus
doi:10.4230/oasics.syncop.2015.106
dblp:conf/syncop/CimattiGMT15
fatcat:ewyslcc3nzgdjn3u6hlmqpnl6i