Repositorios 1

Verification by model checking Theory of computation 3 Logic 2 Lógicas deónticas 2 Métodos formales 2 Tolerancia a fallas 2 Verificación de software 2 Alcanzabilidad 1 Automata 1 Automata over infinite objects 1 Concurrencia 1 Concurrency 1 Confluencia 1 Determinismo 1 Formal languages and automata theory 1 Juego estocástico 1 Lógica 1 Models of computation 1 Multiobjetivo 1 Probabilidades continuas 1 Quantitative automata 1 Reachability 1 Recompensas totales 1 Simulación 1 Teoría de la computación 1 Timed and hybrid models 1 Verificación de modelos 1