2468 search results - page 57 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
137
click to vote
HPDC
1999
IEEE
15 years 7 months ago
1999
IEEE
We present a performance-based methodology for designing a high-bandwidth radar application on commodity platforms. Unlike many real-time systems, our approach works for commodity...
129
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
116
click to vote
ECLIPSE
2006
ACM
15 years 7 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
145
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
120
click to vote
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...