Cambridge University Press / EF AG / MIT Press / Whittaker / /
Country
Netherlands / /
Currency
pence / / /
Event
Business Partnership / /
Facility
P. Port / /
IndustryTerm
polynomial algorithm / model checking algorithm / random walk algorithm / nite-state concurrent systems / cient algorithms / statistical software / software testing / nite state systems / model checking algorithms / Search algorithms / /
MarketIndex
set 1000 / /
Organization
Random Walk P@trik Haslum Department of Computer Science / Cambridge University / EG / MIT / AU / European Union / /
Person
Checking / /
Position
Model / markov chain model for statistical software testing / /
PublishedMedium
IEEE Transactions on Software Engineering / /
Technology
cient algorithms / artificial intelligence / deterministic model checking algorithms / random walk algorithm / Search algorithms / model checking algorithm / simulation / Link oping University pahas@ida.liu.se Abstract While model checking algorithms / html / polynomial algorithm / model checking algorithms / /
Model Checking by Random Walk P@trik Haslum Department of Computer Science, Linkoping University [removed]