Repositorios 11

Software/Program Verification 5 Model checking 4 Ciencias Informáticas 3 Alloy 2 Bisimulaciones 2 Cadena de Markov de tiempo discreto 2 Contraejemplos 2 Implementaciones 2 LTS 2 Lógica LTL 2 MTS 2 Model checking simbólico 2 PRISM 2 Reducción de orden parcial 2 SAT solver 2 Semantics of Programming Languages 2 Sistema tolerante a fallas 2 Sistemas distribuidos 2 Sistemas probabilistas 2 Software Program verification 2 Software engineering 2 Software. Program Verification 2 Verificación formal 2 Formal methods 1 Languages 1 Model Checking Probabilista 1 Model checking probabilista 1 Probabilistic computation 1 Proceso de Decisión de Markov 1 Proceso de decisión de Markov 1