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

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 285 Commits
.gitignore		.gitignore
Makefile		Makefile
README		README
checker.h		checker.h
cycle.cpp		cycle.cpp
cycle.h		cycle.h
define.h		define.h
errorstate.cpp		errorstate.cpp
errorstate.h		errorstate.h
globalstate.cpp		globalstate.cpp
globalstate.h		globalstate.h
indexer.h		indexer.h
lookup.h		lookup.h
pverify.cpp		pverify.cpp
pverify.h		pverify.h
service.cpp		service.cpp
service.h		service.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

Repository files navigation

v2.1 (ca682f0)
--------
Compute the number of distinct paths that lead to each entry state



v2.0
--------
Switch to depth-first-search based probabilistic verification