A Parser for JML and Java.

A Collaborative Web IDE for Reasoning about Programs

Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]

Verification-guided complete & correct formal specification synthesis.

Ascoos OS ⭐ : A next‑generation PHP Web 5.0/WebAI kernel with JSQLDB, JML, DoBu, CiC, AI, IoT, macro engine, and 1500+ encrypted classes powering decentralized and multi‑framework applications.

JML exercises for the course "Software Engineering" at Politecnico di Milano

Open-source identity lifecycle automation lab — HRIS-driven JML workflows with SCIM provisioning, RBAC resolution, and real-time audit dashboards

Playground for OpenJML prover

Operator surface for HRIS-to-IdP joiner/mover/leaver pipelines, SCIM sync health, orphan-account detection, and entitlement-grant recertification. Browser-only, no telemetry. AGPL-3.0.

A JML‑inspired Documentation DSL for PHP, C++, CSS, JS, and any language with docblocks

A fancy parse engine for JML (Jonio Markup Language) files

An Intellij IDEA plugin for OpenJML-based Java code verification.

Specification of Extended Binary Search Tree project using the design by contract paradigm.

BUAA Object Oriented Programming Unit3

📚 O projeto verificado para disciplina Lógica aplicada a Engenharia de Software.

Automated joiner/mover/leaver workflows for HR-to-IT identity provisioning

Simulated IAM support tickets in Microsoft Entra ID covering MFA validation, joiner access, mover cleanup, leaver cleanup, and access validation.

An annotation processor for generating JML stubs from Java source files.

Exam project of the university course: Testing and Software Verification

Visualization of Quantum Decoherence and AI Decision through JML.