1111 search results - page 83 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
125
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
177
Voted
CVIU
2011
14 years 6 months ago
2011
Abstract—In this paper, three approaches to utilizing objectlevel spatial contextual information for semantic image analysis are presented and comparatively evaluated. Contextual...
141
Voted
FIDJI
2003
Springer
15 years 7 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
115
Voted
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
140
Voted
AGP
1996
IEEE
15 years 6 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...