1715 search results - page 210 / 343 » Domain-Specific Program Checking |
CCS
2011
ACM
12 years 10 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
SIGSOFT
2004
ACM
14 years 11 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
TACAS
2009
Springer
14 years 5 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
TAP
2007
Springer
14 years 4 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...