Serviço
Treinamentos e Workshops
Treinamento prático em métodos formais concebido pelo criador do ESBMC e ministrado por Lucas Cordeiro ou por associados qualificados. De sessões introdutórias a programas sob medida de vários dias, presenciais ou remotos.
Formatos
Escolha seu formato de treinamento
Introdução de Meio Dia
- O que é verificação formal?
- Testes vs. prova formal
- Visão geral e demonstração do ESBMC
- Quando e como aplicá-lo
Curso Prático de 2 Dias
- Teoria e prática de BMC
- ESBMC prático para C/C++
- Escrevendo código verificável
- Integrando o ESBMC ao CI/CD
- Interpretando contraexemplos
Programa Customizado
- Adaptado ao seu código
- Conteúdo específico por padrão (DO-178C, ISO 26262)
- Integração de toolchain para sua stack
- Sessões de acompanhamento
Por que investir
Benefícios do treinamento em métodos formais
Reduzir custos de verificação
Engenheiros que compreendem métodos formais instrumentam o código corretamente desde o início, reduzindo retrabalho.
Construir capacidade interna
O conhecimento interno reduz a dependência de longo prazo de consultores externos.
Apoiar requisitos de certificação
DO-330 e ISO 26262 exigem ambos evidência de que os usuários da ferramenta são competentes. Nosso treinamento fornece documentação adequada para inclusão no seu registro de competências.
Melhorar a qualidade do código
O pensamento em métodos formais aprimora o design de software, bugs prevenidos, não apenas encontrados.
Concebido pelo criador do ESBMC
O treinamento é concebido pelo Prof. Lucas Cordeiro, Professor de Verificação Formal e Segurança de Software na University of Manchester e criador do ESBMC, e ministrado diretamente por ele ou por associados qualificados conforme o engajamento exigir. Sua equipe aprende a partir do mesmo material que o grupo de pesquisa subjacente ensina em nível de pós-graduação.
Preço
Preço fixo por turma
Presencial ou remoto. Adaptamos o conteúdo à linguagem, à toolchain e ao padrão de segurança da sua equipe. Entre em contato para conversar sobre datas e tamanho da turma.