liquidjava

Refinement type checker for Java with liquid types and typestates - catch bugs at compile time

Releases

Date Semver

No releases found for this repository.

Links

Source: https://github.com/liquid-java/liquidjava
JSON API: repos.ecosyste.ms
PURL: pkg:github/liquid-java/liquidjava

Repository Details

Stars 54
Forks 34
Open issues 22
License None
Language Java
Size 35.4 MB
Created at almost 6 years ago
Updated at 8 days ago
Pushed at 8 days ago
Last synced at 8 days ago
Dependencies parsed at Pending

Topics

compile-time-verification, formal-methods, java, liquid-types, program-verification, refinement-types, static-analysis, type-checker, typestate, typestate-analysis