1914 search results - page 185 / 383 » Verification by Abstract Interpretation |
164
click to vote
SEKE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
177
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
160
Voted
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
155
click to vote
ICAIL
2003
ACM
15 years 10 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
143
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Exonic splicing enhancers (ESEs) activate nearby splice sites and promote the inclusion (vs. exclusion) of exons in which they reside, while being a binding site for S...