Fundamentos de Modelagem de Sistemas para Verificação Formal

Na engenharia moderna, encontrar bugs no sistema no final do desenvolvimento é incrivelmente caro.A verificação formal permite que você prove matematicamente que seu sistema se comporta corretamente, mas tudo começa com a construção do modelo de sistema correto. Este curso baseado em texto orienta você através dos princípios fundamentais de modelagem de sistemas de hardware e software para análise automatizada.Você fará a transição de entender as especificações básicas do sistema para estruturar modelos complexos que evitam falhas de design cedo. O que você aprenderá: Entenda os conceitos fundamentais de verificação funcional e verificação de modelos; Represente comportamentos de hardware e software usando formalismos de modelagem precisos; Aplique sistemas de transição de estado para capturar estados e transições do sistema; Defina propriedades de segurança e vivacidade usando conceitos básicos de lógica temporal; Analise o sistema Você vai começar com a terminologia básica, sistemas de transição e conceitos básicos de verificação; Você também vai aprender a desenvolver modelos de comunicação para processos concorrentes; A partir daí, você explorará como modelar controles dependentes de dados e lidar com sistemas simultâneos com diferentes padrões de comunicação. Este curso foi projetado para engenheiros de software iniciantes, designers de hardware e arquitetos de sistemas. Nenhuma experiência prévia com verificação formal é necessária.