Parameter synthesis with IC3

Alessandro Cimatti; Alberto Griggio; Sergio Mover; Stefano Tonetta

doi:10.1109/fmcad.2013.6679406

Parameter synthesis with IC3

Alessandro Cimatti
, Alberto Griggio
, Sergio Mover
, Stefano Tonetta

Fondazione Bruno Kessler

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	2013 Formal Methods in Computer-Aided Design, FMCAD 2013
Publisher	IEEE Computer Society
Pages	165-168
Number of pages	4
ISBN (Print)	9780983567837
DOIs	https://doi.org/10.1109/fmcad.2013.6679406
Publication status	Published - 1 Jan 2013
Externally published	Yes
Event	13th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2013 - Portland, OR, United States Duration: 20 Oct 2013 → 23 Oct 2013

Publication series

Name	2013 Formal Methods in Computer-Aided Design, FMCAD 2013

Conference

Conference	13th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2013
Country/Territory	United States
City	Portland, OR
Period	20/10/13 → 23/10/13

Access to Document

10.1109/fmcad.2013.6679406

Cite this

@inproceedings{00f77e000b864f81bd25ff43cb200bf1,

title = "Parameter synthesis with IC3",

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.",

author = "Alessandro Cimatti and Alberto Griggio and Sergio Mover and Stefano Tonetta",

year = "2013",

month = jan,

day = "1",

doi = "10.1109/fmcad.2013.6679406",

language = "English",

isbn = "9780983567837",

series = "2013 Formal Methods in Computer-Aided Design, FMCAD 2013",

publisher = "IEEE Computer Society",

pages = "165--168",

booktitle = "2013 Formal Methods in Computer-Aided Design, FMCAD 2013",

note = "13th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2013 ; Conference date: 20-10-2013 Through 23-10-2013",

}

Cimatti, A, Griggio, A, Mover, S & Tonetta, S 2013, Parameter synthesis with IC3. in 2013 Formal Methods in Computer-Aided Design, FMCAD 2013., 6679406, 2013 Formal Methods in Computer-Aided Design, FMCAD 2013, IEEE Computer Society, pp. 165-168, 13th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, United States, 20/10/13. https://doi.org/10.1109/fmcad.2013.6679406

TY - GEN

T1 - Parameter synthesis with IC3

AU - Cimatti, Alessandro

AU - Griggio, Alberto

AU - Mover, Sergio

AU - Tonetta, Stefano

PY - 2013/1/1

Y1 - 2013/1/1

N2 - 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.

AB - 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.

U2 - 10.1109/fmcad.2013.6679406

DO - 10.1109/fmcad.2013.6679406

M3 - Conference contribution

AN - SCOPUS:84893336653

SN - 9780983567837

T3 - 2013 Formal Methods in Computer-Aided Design, FMCAD 2013

SP - 165

EP - 168

BT - 2013 Formal Methods in Computer-Aided Design, FMCAD 2013

PB - IEEE Computer Society

T2 - 13th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2013

Y2 - 20 October 2013 through 23 October 2013

ER -

Parameter synthesis with IC3

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this