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

Project Samples

TLA Editor calls syntax analyser on resource save TLC Model Checker arguments can be configured for each run TLA Syntax Analyser output is written to console TLC Model Checker can be accessed via Run As menu TLA Editor supports autocompletion TLC Model Checker output is written to Eclipse console

Project Activity

See All Activity >

Categories

Interpreters, QA Automation

License

Other License, Eclipse Public License

Follow eTLA

eTLA Web Site

You Might Also Like
ScriptSure Cloud E-Prescribing Icon
ScriptSure Cloud E-Prescribing

For healthcare providers and clinical professionals looking for a clinical data management system solution for their practice needs

ScriptSure Cloud ERX allows users to electronically send prescriptions to all retail and mail order pharmacies attached to the Surescripts electronic network.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of eTLA!

Additional Project Details

Operating Systems

Windows

Languages

English

Intended Audience

Developers

User Interface

Java SWT, Eclipse

Programming Language

Java

Related Categories

Java Interpreters, Java QA Automation Software

Registered

2005-02-03
Report inappropriate content