Microsoft Research (MSR) es la división de Microsoft dedicada a la investigación. Fue creada en 1991 con el fin de avanzar en el estado del arte en computación y resolver problemas complicados. Actualmente emplea a más de mil científicos de la computación, físicos, ingenieros y matemáticos, incluyendo ganadores del Turing Award, ganadores de la Medalla Fields, MacArthur Fellows y ganadores del premio Dijkstra, entre muchos otros altamente reconocidos expertos en informática, física y matemáticas
El papel cambiante del model checking de estados finitos
El model checking de estados finitos —la verificación de sistemas mediante la exploración exhaustiva de todos sus estados posibles— ha sido técnicamente superado desde mediados de los años noventa por el model checking simbólico, capaz de manejar tamaños de modelo muy superiores. Sin embargo, sigue
