JML

Software / App

A specification language that can be used to describe data structure properties, similar to the 'rep ok' method.

Mentioned in 1 video

Videos Mentioning JML

Assertion-based Repair of Complex Data Structures

Assertion-based Repair of Complex Data Structures

GoogleTalksArchive

A specification language that can be used to describe data structure properties, similar to the 'rep ok' method.