Fine-Grained Analyses for Evolution-Aware Runtime Verification

An official website of the United States government Here's how you know

Official websites use .gov

A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS

A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

This content will become publicly available on April 15, 2027

Fine-Grained Analyses for Evolution-Aware Runtime Verification

Author(s) / Creator(s):: Jiang, P; Guan, K; Khosravi, M; Ismail, M; d'Amorim, M; Legunsen, O