10870 search results - page 184 / 2174 » Model Checking Programs |
170
click to vote
ICST
2008
IEEE
16 years 17 days ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
144
Voted
ACSD
2009
IEEE
16 years 29 days ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
164
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
194
click to vote
IEAAIE
2011
Springer
14 years 9 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
145
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...