Fundamentos de Verificação de Modelo Quantitativo

Em sistemas onde a falha não é uma opção, como você pode ter certeza de que seu projeto está correto?Vá além dos testes tradicionais e aprenda a provar matematicamente a confiabilidade e o desempenho de seus sistemas. Este curso fornece uma introdução prática à verificação de modelos quantitativos.Você aprenderá a modelar sistemas complexos como sistemas de transição de estado e cadeias de Markov, escrever especificações formais usando lógica temporal e analisar propriedades probabilísticas e em tempo real para identificar possíveis falhas de design antes que elas se tornem falhas críticas. O que você vai aprender: - Entenda os princípios básicos de verificação de modelos e verificação formal. - Aprenda a representar o comportamento do sistema usando sistemas de transição de estado e cadeias de Markov. - Escreva propriedades e requisitos precisos do sistema usando a lógica temporal probabilística (PCTL). - Aplique algoritmos de verificação de modelo para analisar propriedades do sistema, como alcançabilidade e recompensas esperadas. - Pratique modelar problemas comuns, como protocolos de comunicação e sistemas de alocação de recursos. - Interpretar os resultados da análise quantitativa para tomar decisões informadas sobre a segurança e o desempenho do sistema. O curso começa com os conceitos fundamentais de modelagem de sistemas e lógica formal, em seguida, progride para técnicas para especificar e verificar propriedades quantitativas de sistemas probabilísticos. Este curso é projetado para engenheiros de software, designers de sistemas e estudantes de ciência da computação.Não é necessária experiência prévia em métodos formais para começar. Comece a aprender a construir sistemas corretos e verificáveis hoje.