ISARCS
2010
14 years 21 days ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
ISARCS
2010
14 years 21 days ago
2010
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
ISARCS
2010
14 years 21 days ago
2010
CAV
2009
Springer
14 years 21 days ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
CAV
2009
Springer
14 years 21 days ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
CAV
2009
Springer
14 years 21 days ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
ATVA
2007
Springer
14 years 21 days ago
2007
Springer
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
ATVA
2007
Springer
14 years 21 days ago
2007
Springer
ATVA
2007
Springer
14 years 21 days ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
ATVA
2007
Springer
14 years 21 days ago
2007
Springer
