25 search results - page 1 / 5 » An abstract interpretation-based model for safety semantics |
IJCM
2011
13 years 3 months ago
2011
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
ENTCS
2006
13 years 9 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
SAFECOMP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...