VeriFly: On-the-fly assertion checking via incrementality

Detalles Bibliográficos
Autores: Sánchez Ordaz, Miguel Ángel, García Contreras, Isabel, Pérez Carrasco, Víctor, Morales Caballero, José Francisco, López García, Pedro, Hermenegildo, Manuel V.|||0000-0002-7583-323X
Tipo de recurso: artículo
Fecha de publicación:2021
País:España
Institución:Universidad Politécnica de Madrid
Repositorio:Archivo Digital UPM
OAI Identifier:oai:oa.upm.es:70095
Acceso en línea:https://oa.upm.es/70095/
Access Level:acceso abierto
Palabra clave:On-the-fly assertion checking
program development environments
static analysis
abstract interpretation
Incremental analysis
Logic and constraint programming
Descripción
Descripción no disponible.

Similares en LA Referencia