View in EDS HTML Full Text PDF Full Text

Incrementally predictive runtime verification.

Saved in:

Bibliographic Details
Title:	Incrementally predictive runtime verification.
Authors:	Ferrando, Angelo¹, Delzanno, Giorgio¹
Source:	Journal of Logic & Computation; Jun2023, Vol. 33 Issue 4, p796-817, 22p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exad012