yylonly/ltsa

Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)

LTSA

LTSA is already included in this repo.

Install JDK 8, and click ltsa.jar to open LTSA.

1. load file steamwithoutrescue.lts
2. Build->compile processes
3. choose NORMALSYSTEM composition process
4. Build->compose
5. Check->Safty and Check->Progress

ltsa's Issues

[Feature] Is there any way to convert Alloy/TLA+ to LTS format?

I would request your assistance on understanding how it can be done. If you guys are accepting PRs, I would love to add this feature.

Note: I was trying to post on the LTSA forum at wikidot but faced some issues. So I had to raise the question here.