degas
betaScreenshots
Description
Discrete Event Gnu Advanced Scheduling for plug-in replacement of pthread compatible applications. Generates deterministic execution runs suitable for discrete event simulations and formal verification.
Categories
License
Update Notifications
User Reviews
Be the first to post a review of degas!