Kirill-NiK / SpinTrikRuntimeModel Public

model checking with SPIN (PROMELA) of trikRuntime

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 41 Commits
double_unlock_after_abort		double_unlock_after_abort
exception_assert		exception_assert
join_each_other		join_each_other
killing_before_evaluate		killing_before_evaluate
late_connect		late_connect
livelock_(quitSignal&mState)		livelock_(quitSignal&mState)
long_wait_of_abort		long_wait_of_abort
mResetStarted-LTL		mResetStarted-LTL
no_reset_for_mInEventDrivenMode		no_reset_for_mInEventDrivenMode
no_reset_for_var_and_long_finish		no_reset_for_var_and_long_finish
show_all_errors		show_all_errors
uncorrect_abort_for_print		uncorrect_abort_for_print
unexpected_unlock		unexpected_unlock
warning_joinThread		warning_joinThread
README.md		README.md
mainDifferentProcesses.pml		mainDifferentProcesses.pml
mainRunner.pml		mainRunner.pml
mainThreads.pml		mainThreads.pml
mainUserTrik.pml		mainUserTrik.pml
simplescriptexample.pml		simplescriptexample.pml
strangeInlineWork		strangeInlineWork
twoThreadsCommunicate.pml		twoThreadsCommunicate.pml
twoThreadsCommunicate.pml.trail		twoThreadsCommunicate.pml.trail
verify.bat		verify.bat