E-Chaser

E-Chaser is a runtime verification system for distributed Java-RMI applications RMI. In its frontend, E-Chaser provides distribution-transparent specifications, and makes use of Compose* as its backend tool to generate runtime verification modules.

Project Activity

See All Activity >

Follow E-Chaser

E-Chaser Web Site

Other Useful Business Software

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Rate This Project

User Reviews

Be the first to post a review of E-Chaser!

Additional Project Details

Registered

2010-03-28

Report inappropriate content

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Start Free

Recommended Projects

mshv-auto-dx-chaser
Autonomous, intelligent DX hunting engine for MSHV ham radio software
Easy Talk
Easy Talk is a java rmi application to send and receive encrypted messages and files.
Chaser
A simple game written in Python 3.1 + Pygame that has a character chasing around a "bad guy" using a mouse and / or WASD.
OpenSwing
OpenSwing is a components library that provides a rich set of advanced graphics components for developing desktop applications and HTTP/RMI based java applications/RIAs based on Swing front-end. It provides also adapters for Hibernate, JPA, iBatis, etc.
SGLang
SGLang is a fast serving framework for large language models