Encontrando más violaciones de propiedad en la verificación de modelos a través de la política de reinicio
Autores: Geng, Mengtao; Zhang, Xiaoyu; Li, Jianwen
Idioma: Inglés
Editor: MDPI
Año: 2021
Acceso abierto
Artículo científico
2021
Encontrando más violaciones de propiedad en la verificación de modelos a través de la política de reinicio
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Verificación de modelos
Algoritmo
BMC
IC3/PDR
Alcance Aproximado Complementario
Política de reinicio
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 37
Citaciones: Sin citaciones
La verificación de modelos es una técnica eficiente de verificación formal que se ha aplicado a un amplio espectro de aplicaciones en ingeniería de software.
Descripción
La verificación de modelos es una técnica eficiente de verificación formal que se ha aplicado a un amplio espectro de aplicaciones en ingeniería de software.