1111 search results - page 118 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
225
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
142
click to vote
CJ
2004
15 years 3 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
152
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
105
click to vote
MICCAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In this paper we describe our environment diSNei, a graphical tool for collaborative image analysis and visualization of models created out of slices of volume data; this...
172
Voted
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...