Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- La verificación de modelos (o Model checking) es un método automático de verificación de un sistema formal, en la mayoría de las ocasiones derivado del…3 kB (373 palabras) - 21:16 11 jul 2019
- Este artículo describe las estructuras de Kripke como se usan en Verificación de modelos. Para una descripción más general, ver semánticas de Kripke. Una…4 kB (694 palabras) - 15:21 12 oct 2020