1497 search results - page 151 / 300 » Extended static checking |
121
click to vote
IEEEIAS
2008
IEEE
15 years 8 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
123
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
212
click to vote
CONCUR
2011
Springer
14 years 2 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
114
click to vote
PEPM
2010
ACM
15 years 11 months ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
162
click to vote
DLT
2009
15 years 6 days ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...