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
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
LTSA is already included in this repo.
Install JDK 8, and click ltsa.jar to open LTSA.
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)