Playground

Run the LiquidJava verification directly in your browser. Edit an example and select Verify.

Example Positive numbers Parameter bounds Refinement aliases Object states Ghost state tracking