Giters

dwtj / phasicj

Soundly verify Java using compile-time, link-time, and runtime analysis.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

PhasicJ

Soundly verify Java using compile-time, link-time, and runtime analysis.

About

Soundly verify Java using compile-time, link-time, and runtime analysis.

License:MIT License

Languages

Language:Starlark 34.0%Language:Rust 32.3%Language:Java 18.6%Language:Shell 8.7%Language:C++ 6.1%Language:TeX 0.2%