1620 search results - page 43 / 324 » Testing Polymorphic Properties |
155
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
137
click to vote
STACS
2001
Springer
15 years 6 months ago
2001
Springer
We prove new results on evasiveness of monotone graph properties by extending the techniques of Kahn, Saks, and Sturtevant [Combinatorica, 4 (1984), pp. 297–306]. For the propert...
117
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
139
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
100
click to vote
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...