1472 search results - page 43 / 295 » On Model Checking Infinite-State Systems |
139
click to vote
OSDI
2002
ACM
16 years 3 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
107
click to vote
VMCAI
2010
Springer
16 years 26 days ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
104
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Business
216
Voted
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
143
Voted
SAINT
2002
IEEE
15 years 8 months ago
2002
IEEE
The Simple Mail Transfer Protocol (SMTP) based E-mail system is the most popular application in today’s Internet world, but there are many dark clouds at the edge of the sunshin...