Filtrar por: Materia
Mostrando items 1-10
Comprobación del modelo (2) |
Inference Rule (2) |
Model Check (2) |
Obligación de prueba (2) |
Proof Obligation (2) |
Propiedad de seguridad (2) |
Regla de inferencia (2) |
Safety Property (2) |
Equational Theory (1) |
Flujo de entrada (1) |