Survey on mining signal temporal logic specifications

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 mining is the process of learning likely system prope...

Full description

Bibliographic Details

Published in:	Information and computation Vol. 289; p. 104957
Main Authors:	Bartocci, Ezio, Mateis, Cristinel, Nesterini, Eleonora, Nickovic, Dejan
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.11.2022
ISSN:	0890-5401, 1090-2651
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!