3082 search results - page 21 / 617 » Deviation Analysis: A New Use of Model Checking |
172
Voted
FMSD
2002
15 years 5 months ago
2002
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
153
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
145
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
173
click to vote
TAICPART
2006
IEEE
15 years 11 months ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
126
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...