4502 search results - page 278 / 901 » Regular Model Checking |
164
click to vote
RV
2007
Springer
16 years 19 days ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
195
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...
183
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
167
click to vote
SAFECOMP
2007
Springer
16 years 19 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
166
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...