Verificação de Modelos com SAT e SMT para Iniciantes

Em uma era em que a confiabilidade de software e hardware é primordial, as técnicas de verificação formal oferecem uma abordagem poderosa para garantir a correção. Este curso fornece uma sólida compreensão da verificação de modelos usando as Teorias de Satisfação Booleana (SAT) e Satisfiability Modulo (SMT), capacitando você a analisar e verificar o comportamento dos sistemas. O que você vai aprender: * Entenda os conceitos e objetivos fundamentais da verificação de modelos. * Aprenda os princípios da Satisfação Booleana (SAT) e seu papel na verificação. * Explore Teorias de Módulo de Satisfação (SMT) para raciocínio lógico avançado. * Aplicar técnicas de SAT e SMT para verificar formalmente propriedades de sistemas simples. * Prática de formulação de problemas de verificação como instâncias SAT / SMT. * Apreender o papel fundamental dos métodos formais no desenvolvimento de sistemas modernos. O curso começa com definições básicas e os fundamentos teóricos da verificação de modelos, em seguida, progride para a aplicação prática de SAT e SMT solvers através de explicações detalhadas e exemplos. Este curso é projetado para iniciantes absolutos sem experiência prévia em verificação formal ou lógica, fornecendo todo o conhecimento fundamental necessário. Comece sua jornada na verificação formal e desenvolva uma habilidade crucial para a confiabilidade do sistema.