GitHub - skiegyt/prob_verify: The model checker based on the probabilistic verification algorithm proposed in [Max88]

skiegyt / prob_verify Public

forked from shoupon/prob_verify

The model checker based on the probabilistic verification algorithm proposed in [Max88]

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 171 Commits
.gitignore		.gitignore
Makefile		Makefile
Prob_verify.1		Prob_verify.1
checker.h		checker.h
cycle.cpp		cycle.cpp
cycle.h		cycle.h
define.h		define.h
errorstate.cpp		errorstate.cpp
errorstate.h		errorstate.h
fsm.cpp		fsm.cpp
fsm.h		fsm.h
globalstate.cpp		globalstate.cpp
globalstate.h		globalstate.h
lookup.h		lookup.h
myHash.h		myHash.h
parser.cpp		parser.cpp
parser.h		parser.h
pverify.cpp		pverify.cpp
pverify.h		pverify.h
service.cpp		service.cpp
service.h		service.h
state.cpp		state.cpp
state.h		state.h
statemachine.cpp		statemachine.cpp
statemachine.h		statemachine.h
stoppingstate.cpp		stoppingstate.cpp
stoppingstate.h		stoppingstate.h
sync.cpp		sync.cpp
sync.h		sync.h
transition.cpp		transition.cpp
transition.h		transition.h