1472 search results - page 253 / 295 » On Model Checking Infinite-State Systems |
126
click to vote
ICALP
2010
Springer
15 years 3 months ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
138
click to vote
IEEEARES
2009
IEEE
14 years 11 months ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...
146
click to vote
TCAD
2010
14 years 8 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
115
click to vote
CVPR
2003
IEEE
16 years 3 months ago
2003
IEEE
Video-based recognition and prediction of a temporally extended activity can benefit from a detailed description of high-level expectations about the activity. Stochastic grammars...
121
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...