1077 search results - page 136 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
147
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
138
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
129
Voted
FTCS
1998
15 years 5 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
133
Voted
SBMF
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
117
click to vote
BIS
2008
15 years 5 months ago
2008
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...