3909 search results - page 217 / 782 » Extreme Model Checking |
115
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
137
click to vote
ISQED
2003
IEEE
15 years 8 months ago
2003
IEEE
Accurate statistical simulation and modeling are important for IC design. Different types of statistical simulation require different types of statistical models. In this paper a ...
106
click to vote
FASE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
118
click to vote
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
115
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...