Back to Results
First PageMeta Content
Search algorithms / Application programming interfaces / Parallel computing / Breadth-first search / Message Passing Interface / Depth-first search / Model checking / Graph / Distributed computing / Mathematics / Graph theory / Theoretical computer science


Efficient Large-Scale Model Checking∗ Kees Verstoep, Henri E. Bal Jiˇr´ı Barnat, Luboˇs Brim Dept. of Computer Science, Fac. of Sciences
Add to Reading List

Document Date: 2009-02-12 11:31:56

Open Document

File Size: 190,36 KB

Share Result on Facebook

Country

Netherlands / /

Currency

pence / LTL / /

/

Facility

VU University / Informatics VU University / University of Amsterdam / Leiden University / The Netherlands Masaryk University / /

IndustryTerm

model checking algorithm / space search / suitable algorithm / parallel algorithms / graph traversal algorithm / distributed termination detection algorithm / game tree search / large search spaces / search spaces / distributed algorithms / individual algorithms / depth-first search exploration / huge search spaces / distributed-memory processing / breadth-first search / linear topological sort algorithm / parallel processing / scientific computing applications / sequential algorithms / exhaustive search / large-scale graph algorithms / large systems / computer systems / wide-area distributed systems / large-scale parallel systems / stochastic and timed systems / realworld systems / mobile ad hoc networks / parallel algorithm / wide-area network / cycle detection algorithm / search space / cycle detection use depth-first search / main parallel algorithms / model checking algorithms / mutual exclusion algorithm / dedicated wide-area network / /

MarketIndex

BEEM / /

NaturalFeature

SCC / /

OperatingSystem

Linux / /

Organization

VU University / Informatics VU University / Amsterdam / Leiden University / Czech Science Foundation / University of Amsterdam / Masaryk University / /

Person

Kees Verstoep / Henri E. Bal Ji / /

Position

General / CORBA General / representative / controller / /

ProgrammingLanguage

Promela / /

Technology

virtual machine / cycle detection algorithm / graph traversal algorithm / linear topological sort algorithm / distributed algorithms / individual algorithms / Linux / model checking algorithm / parallel algorithm / mutual exclusion algorithm / 2.2 Parallel Algorithms / CORBA / TCP/IP / LTL model checking algorithms / Topological Sort Algorithm / two algorithms / parallel algorithms / Ethernet / large-scale graph algorithms / main parallel algorithms / OWCTY algorithm / distributed termination detection algorithm / Token ring / paging / SCC-based algorithms / MAP algorithm / parallel processing / Nested DFS algorithm / /

SocialTag