FASE
2009
Springer
13 years 11 months ago
2009
Springer
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
FASE
2009
Springer
13 years 11 months ago
2009
Springer
FASE
2009
Springer
13 years 11 months ago
2009
Springer
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...