Skip to main content
Side panel
Disciplinas »
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
AACCs/FFLCH
Pró-Reitoria de Pós-Graduação
Outros
Suporte »
Acesso
Perfis
Ouvintes
Docentes
Criação de Disciplinas da USP
Documentação
HelpDesk e Contato
Guia de uso
Sobre
English (en)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Italiano (it)
Português - Brasil (pt_br)
Search
Close
Search
Toggle search input
Acessar
Especificação formal de software
Home
Courses
2013
ICMC
SSC
SSC5793 - 3
Topic outline
General
Collapse all
Expand all
Fórum de notícias
Forum
Topic 1
Notas de Escriba 2012 - Versao 1
File
Notas de Escriba 2012 - Versao 2
File
Notas de Escriba 2012 - Versao 3
File
7 Mitos
File
Topic 2
Exercicios de Logica Proposicional
Assignment
Topic 3
Resumo do Mini-curso Eric Wong
Assignment
Topic 4
Race Condition em SMV
Assignment
SMV
File
Topic 5
Resolvendo Sudoku
Assignment
Exemplo SMT e Z3
File
Topic 6
Trabalho Tableaux
Assignment
Topic 7
Slide do seminário
Assignment
Topic 8
Topic 9
Topic 10