yylonly / LTSA Public

Notifications You must be signed in to change notification settings
Fork 4
Star 4

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

4 stars 4 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Chapter_examples		Chapter_examples
diagrams		diagrams
slides		slides
ALLSYSTEM.aut		ALLSYSTEM.aut
README.md		README.md
README.txt		README.txt
Screen Shot 2015-06-09 at 14.06.08.png		Screen Shot 2015-06-09 at 14.06.08.png
SynchMsgAdditionallts.lts		SynchMsgAdditionallts.lts
create_file_assoc.vbs		create_file_assoc.vbs
create_shortcut.vbs		create_shortcut.vbs
jel.jar		jel.jar
ltl2buchi.jar		ltl2buchi.jar
ltsa.bat		ltsa.bat
ltsa.ico		ltsa.ico
ltsa.jar		ltsa.jar
ltsafile.ico		ltsafile.ico
natutil.jar		natutil.jar
scenebeans.jar		scenebeans.jar
steam.lts		steam.lts
steamboiler.lts		steamboiler.lts
steaml.lts		steaml.lts
steamnew.lts		steamnew.lts
steamwithoutrescue.lts		steamwithoutrescue.lts
xml.jar		xml.jar

Repository files navigation

LTSA

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

About

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

model-checking model-checker fsp ltsa

Report repository

Releases

No releases published

Packages

No packages published

Languages