Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research
Project
Abstract:
Title: CRD: Collab Rsch: JML Community Infr-Revitalizing Tools and Documentation to Aid Formal Methods Rsch
Project Proposed:
This collaborative project, revitalizing tools and documentations to aid formal methods research, aims to
- Enhance JML's infrastructure including its type checker, runtime assertion checking compiler, and IDE support;
- Make JML's software infrastructure more extensible;
Category: