854 search results - page 14 / 171 » Addressing Dynamic Issues of Program Model Checking |
97
Voted
JOT
2008
14 years 11 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
101
click to vote
POPL
1999
ACM
15 years 4 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
ASM
2010
ASM
15 years 3 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
AINA
2006
IEEE
15 years 5 months ago
2006
IEEE
Given a client/server application, how can the server entrust the integrity of the remote client, albeit the latter is running on an un-trusted machine? To address this research p...