LTSA is already included in this repo.
Install JDK 8, and click ltsa.jar to open LTSA.
- load file steamwithoutrescue.lts
- Build->compile processes
- choose NORMALSYSTEM composition process
- Build->compose
- Check->Safty and Check->Progress
forked from yylonly/LTSA
-
Notifications
You must be signed in to change notification settings - Fork 0
ckarren/LTSA
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Visual Basic .NET 92.6%
- Batchfile 7.4%