Alysson Milanez's repositories
easy-lab-correction
Automatically exported from code.google.com/p/easy-lab-correction
jmlok-old-version1
Automatically exported from code.google.com/p/jmlok-2-tool
jmlok-tool-old
Automatically exported from code.google.com/p/jmlok-tool
compiladoroclgo
Automatically exported from code.google.com/p/compiladoroclgo
contractok
ContractOk is a tool for detecting nonconformances in C# -- Code Contracts systems.
exemplos-teste-software
Repositório para o compartilhamento dos exemplos criados ao longo da disciplina Teste de Software, Universidade Federal Rural do Semi-Árido (UFERSA), Campus Pau dos Ferros.
mobilestop
Automatically exported from code.google.com/p/mobilestop
PokerTop
A poker system build verified with formal methods and tools (BONc, JML ,ESC/JAVA2)
projetoredes20101-alysson-felipe
Automatically exported from code.google.com/p/projetoredes20101-alysson-felipe
pyfighter
PyFighter
si1-imhere-grupoh
Automatically exported from code.google.com/p/si1-imhere-grupoh
util
This repository contains some small tools to help me in others projects
Verification-using-JML
A simple android application is verified using Java Modelling Language