alyssonfm

jmlok

Tool for detecting and classifying nonconformances in Java/JML projects.

easy-lab-correction

Automatically exported from code.google.com/p/easy-lab-correction

gcm22.2

Repositório para a disciplina de GCM 2022.2

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.

gcm-classes

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