2947 search results - page 430 / 590 » Analyzing Program Analyses |
100
click to vote
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
CODES
2008
IEEE
15 years 1 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
135
Voted
ECBS
2007
IEEE
15 years 1 months ago
2007
IEEE
Machine learning has great utility within the context of network intrusion detection systems. In this paper, a behavior analysis-based learning framework for host level network in...