Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Eleonora Nesterini"'
Formal specifications play an essential role in the life-cycle of modern systems, both at the time of their design and during their operation. Despite their importance, formal specifications are only partially (if at all) available. Specification min
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a14721b35ed831408c040325b042c09f
https://zenodo.org/record/7118379
https://zenodo.org/record/7118379
Autor:
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Ničković, Xin Qin
Publikováno v:
19th International Conference on Software Engineering and Formal Methods (SEFM'21)
Software Engineering and Formal Methods ISBN: 9783030921231
Software Engineering and Formal Methods ISBN: 9783030921231
We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors.The learned specifications are in the form of linear shape expressions,a declarative formal specification language suitable to expre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8f771e21a9c9ca82c749a53b159bfbc1