Repositorios

Ciencias Informáticas 29 Model checking 15 Error-checking 5 model checking 5 PRISM 4 Software 4 Formal methods 3 Métodos formales 3 SOFTWARE ENGINEERING 3 Bisimulation 2 Borel space 2 Cadena de Markov de tiempo discreto 2 Comunicación 2 Continuous probabilities 2 Contraejemplos 2 Estados esenciales 2 Explosión del espacio de estados 2 Logic 2 Logical characterization 2 Lógica LTL 2 MTBDD 2 Model Check 2 Model checking probabilista 2 Model checking simbólico 2 Nondeterministic Markov decision process 2 Probabilistic automaton 2 Reducción de orden parcial 2 Sistema tolerante a fallas 2 Sistemas distribuidos 2 Sistemas probabilistas 2