jml

There are 10 repositories under jml topic.

jmltoolkit/jmlparser
A Parser for JML and Java.
Language:Java6 1 72
tdelta/KollaborierbaR
A Collaborative Web IDE for Reasoning about Programs
Language:TypeScript6 1 01
coq-community/jmlcoq
Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]
Language:Coq3 3 0
sciamp-dev/jml-basic-examples
JML exercises for the course "Software Engineering" at Politecnico di Milano
Language:Java1 1 40
isaacmaffeis/gaming_console-Testing
Exam project of the university course: Testing and Software Verification
Language:Java0 2 01
jonioos/fire
A fancy parse engine for JML (Jonio Markup Language) files
Language:Python0 1 00
raixasantos/gestaofinanceira-jml
📚 O projeto verificado para disciplina Lógica aplicada a Engenharia de Software.
Language:Java00
carlosantq/eBST-JML
Specification of Extended Binary Search Tree project using the design by contract paradigm.
Language:Java1 0
LutingWang/Railway_System
BUAA Object Oriented Programming Unit3
Language:Java2 0
msraunak/cs483f17-jml-assignment
Language:Java1 0