10038 search results - page 424 / 2008 » Model Checking for Managers |
131
click to vote
WSC
2004
15 years 8 months ago
2004
We shall examine the principles behind contemporary approaches to insurance risk management. Furthermore, we shall consider various methodologies, some successful, that have been ...
181
click to vote
SASO
2010
IEEE
15 years 4 months ago
2010
IEEE
Designing and organising large numbers of autonomic resources into a coherent system is a difficult endeavour. It necessitates handling complex interactions among dynamic, heteroge...
171
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
179
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
183
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...