# TS4J

**Repository Path**: mirrors_secure-software-engineering/TS4J

## Basic Information

- **Project Name**: TS4J
- **Description**: A fluent interface for defining and computing typestate analyses
- **Primary Language**: Unknown
- **License**: BSD-2-Clause
- **Default Branch**: abstraction-valueless
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2021-10-22
- **Last Updated**: 2026-05-10

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# TS4J
A fluent interface for defining and computing typestate analyses

See here for further details: https://dl.acm.org/citation.cfm?id=2614629