Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Distributed computingEmbedded systemFormal verificationList of model checking tools

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
SWAPN: A dream tool for the visually challenged
In this paper, we propose and assess SWAPN, a useful, novel and intelligent dream tool to study the impending multimedia… 
2011
2011
Deconstructing the present
It is a common practice for people visiting an archaeological site to imagine what that place could have looked like during the… 
2010
2010
Timing Analysis of Real-Time Embedded Systems using Model Checking
Modern real-time embedded systems are highly complex and distributed. Timing analysis of these systems is a challenging task… 
2009
2009
Cross-Abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs
This paper introduces the cross-abstraction real-time analysis (Carta) framework for the model-based functional verification and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)