eTLA

alpha

arneknorr, bgruschko, hesok, szambrovski

Download tla-tools_2.1.0.jar

Browse All Files

Windows

Screenshots

TLC Model Checker arguments can be configured for each run

TLC Model Checker can be accessed via Run As menu

TLA Editor calls syntax analyser on resource save

TLA Editor supports autocompletion

TLA Syntax Analyser output is written to console

TLC Model Checker output is written to Eclipse console

Description

TLA+ Eclipse IDE plugin. Integration of formal definition language 'Temporal Logic of Actions' for specifying systems in Eclipse IDE

Categories

Interpreters, Quality Assurance

License

Eclipse Public License, Other License

Update Notifications

Write a Review

User Reviews

Be the first to post a review of eTLA!

Additional Project Details

Languages

Intended Audience

User Interface

Eclipse, Java SWT

Programming Language

Registered

2005-02-03