VeriFly: On-the-fly Assertion Checking via Incrementality
- Sanchez-Ordaz, M.A.
- Garcia-Contreras, I.
- Perez, V.
- Morales, J.F.
- Lopez-Garcia, P.
- Hermenegildo, M.V.
ISSN: 1475-3081, 1471-0684
Année de publication: 2021
Volumen: 21
Número: 6
Pages: 768-784
Type: Article