Memoization en la verificación de modelos para propiedades de seguridad con optimización de enjambre de partículas multi-swarm
Autores: Kumazawa, Tsutomu; Takimoto, Munehiro; Kodama, Yasushi; Kambayashi, Yasushi
Idioma: Inglés
Editor: MDPI
Año: 2024
Acceso abierto
Artículo científico
2024
Memoization en la verificación de modelos para propiedades de seguridad con optimización de enjambre de partículas multi-swarm
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Ingeniería de software
Errores
Verificación de modelos
Inteligencia de enjambre
Optimización por Enjambre de Partículas
Memoización
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 37
Citaciones: Sin citaciones
En ingeniería de software, los errores o fallos en los sistemas de software a menudo conducen a problemas sociales críticos. Una metodología efectiva para abordar este problema es la verificación formal automatizada, que es una técnica de verificación formal automatizada.
Descripción
En ingeniería de software, los errores o fallos en los sistemas de software a menudo conducen a problemas sociales críticos. Una metodología efectiva para abordar este problema es la verificación formal automatizada, que es una técnica de verificación formal automatizada.