Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,215,035 papers from all fields of science
Search
Sign In
Create Free Account
DREAM (software)
Known as:
DREAM tool
, Distributed Real-time Embedded Analysis Method
, Dream (disambiguation)
The Distributed Real-time Embedded Analysis Method (DREAM) is a platform-independent open-source tool for the verification and analysis of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Distributed computing
Embedded system
Formal verification
List of model checking tools
Expand
Broader (1)
Formal methods
Search for papers about DREAM (software)
Search papers