StEAM - Browse Files at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
StEAM_0.2	2006-06-05		0
StEAM_0.1	2006-01-24		0
ivm_0.1	2006-01-24		0
Totals: 3 Items			0

Other Useful Business Software

Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it Free

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

Ship Agents Faster

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

Start Free

Recommended Projects

tlaplus
TLC is an explicit state model checker for specifications in TLA+
MCMAS-SC model checker
A new model checker, called MCMAS-SC, for verifying social commitments and their fulfillment. It is an extenstion of MCMAS model checker to support verification of CTLC logic.
eXplode
eXplode is a storage system checker. It contains a generic model checker for real code instead of abstract models. Using this model checker, eXplode can systematically check a storage system against many possible crashes to find crash-recovery errors.
Equals Checker
A static checker that model checks the implementation of equality for an Eclipse Java Project.
X-SPIN
It is a modified model checker based on SPIN to apply partial order reduction to check LTL formulae with X operator.

StEAM Files