Back to Results
First PageMeta Content
Transaction processing / SPIN model checker / Myrinet / Distributed computing / Henri Bal / Scalability / Computing / Model checkers / Model checking


Efficient Large-Scale Model Checking Kees Verstoep [removed] VU University, Amsterdam, The Netherlands Joint work with:
Add to Reading List

Document Date: 2010-01-15 15:41:39

Open Document

File Size: 686,70 KB

Share Result on Facebook

City

Amsterdam / Brno / Rome / /

Company

AMD / VU Computer Systems / Masaryk U. / /

/

Facility

brim}@fi.muni.cz Masaryk University / VU University / /

IndustryTerm

distributed algorithms / breath-first search / distributed computing / 10G optical networks / search space / /

Organization

VU University / Masaryk University / /

Person

Henri Bal / /

ProgrammingLanguage

Promela / /

Technology

LAN / WAN / 6/26 Algorithm / 7/26 Algorithm / Gigabit Ethernet / /

SocialTag