Repositorios 1

Verificación de software Métodos formales 3 Theory of computation 3 Tolerancia a fallas 3 Lógicas deónticas 2 Software verification 2 Verification by model checking 2 Algorithmic game theory 1 Algorithmic game theory and mechanism design 1 Alloy 1 Análisis automatizado 1 Automated analysis 1 Chord protocol 1 Controller synthesis 1 Distance 1 Distancia 1 Dynamic properties 1 Enmascaramiento 1 Fault tolerance 1 Formal methods 1 Game theory 1 Juegos estocásticos 1 Lenguajes de especificación 1 Masking 1 Measure 1 Medida 1 Propiedades dinámicas 1 Propiedades funcionales del software 1 SAT solving 1 Software functional properties 1