3082 search results - page 33 / 617 » Deviation Analysis: A New Use of Model Checking |
166
click to vote
ETFA
2008
IEEE
15 years 12 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
145
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
160
click to vote
FUIN
2007
15 years 5 months ago
2007
Reachability analysis for timed automata using SAT-based methods was considered in many papers, occurring to be a very efficient model checking technique. In this paper we show ho...
149
Voted
HPCA
2011
IEEE
14 years 9 months ago
2011
IEEE
Dynamic languages such as Javascript are the de-facto standard for web applications. However, generating efficient code for dynamically-typed languages is a challenge, because it...
127
click to vote
SPIN
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...