3028 search results - page 213 / 606 » Integrating Temporal Logics |
207
click to vote
IFM
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
203
click to vote
FTRTFT
1998
Springer
15 years 11 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
221
click to vote
TSE
1998
15 years 6 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
225
click to vote
TVLSI
2002
15 years 6 months ago
2002
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
179
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
JVT Scalable Video Coding (SVC) provides high coding efficiency for progressive video sequences with combined scalability. However, interlaced SVC is only the straightforward exte...