2662 search results - page 448 / 533 » Tools Demonstrations |
162
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
144
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
138
click to vote
IPSN
2010
Springer
15 years 8 months ago
2010
Springer
The robust operation of many sensor network applications depends on deploying relays to ensure wireless coverage. Radio mapping aims to predict network coverage based on a small n...
146
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
142
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background-: PedGenie software, introduced in 2006, includes genetic association testing of cases and controls that may be independent or related (nuclear families or extended ped...