9067 search results - page 258 / 1814 » Adaptive Model Checking |
177
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
169
Voted
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
166
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present our experience of building a prototype system based on the Utility Model for adaptive multimedia. The Utility Model is proposed to capture the issues and dynamics in mul...
174
click to vote
VLSID
2001
IEEE
16 years 7 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
179
click to vote
EUROMICRO
2007
IEEE
16 years 28 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...