Back to Results
First PageMeta Content
Symbol / Uppaal Model Checker / Model theory / Models of computation / Formal languages / Automata theory / Model checkers / Model checking


Document Date: 2012-10-25 20:21:20

Open Document

File Size: 563,73 KB

Share Result on Facebook

/

Facility

Aalborg University / University of Twente / UPPAAL DBM library / DBM library / /

IndustryTerm

structured transition systems / multi-core reachability algorithms / safety-critical real-time systems / uppaal tool / depthfirst search / normal sequential algorithms / real-time multi-core model checker / shared-memory systems / parallel reachability algorithm / multi-core reachability algorithm / pseudo breadth-first search / software tools / local search stacks / sequential algorithm / latter solution / load balancing algorithm / search order / update algorithm / shared hash table solution / parallel reachability algorithms / well-structured transition systems / transition systems / liveness verification algorithms / search algorithm / real-time systems / model checking algorithms / opaal tool / /

Organization

University of Twente / Aalborg University / Department of Computer Science / U.S. Securities and Exchange Commission / /

Person

Ai / Difference Bounded / /

Position

editor / guard / .receiver guard / /

ProgrammingLanguage

XML / Python / /

Technology

parallel reachability algorithms / reachability algorithms / XML / sequential algorithm / parallel reachability algorithm / update algorithm / liveness verification algorithms / load balancing / search algorithm / load balancing algorithm / parallel NDFS algorithms / Distributed model checking algorithms / normal sequential algorithms / DBMs / reachability algorithm / model checking algorithms / /

URL

http /

SocialTag