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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

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

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Start Free

Recommended Projects

mshv-auto-dx-chaser
Autonomous, intelligent DX hunting engine for MSHV ham radio software
ChatX - A LAN Chat
ChatX is a small chat for LAN. It's been written in Java and uses RMI for data exchange.
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.
RMI pinger
Provides basic RMI ping test to see if RMI server is alive.
KEDR
KEDR is an extensible system for dynamic (runtime) analysis and verification of Linux kernel modules. KEDR tools operate on the modules chosen by the user and can perform function call monitoring, fault simulation and much more.