FASE
2009
Springer
14 years 6 months ago
2009
Springer
FASE
2009
Springer
14 years 6 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
14 years 6 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
14 years 6 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
14 years 6 months ago
2009
Springer
FASE
2009
Springer
14 years 6 months ago
2009
Springer
FASE
2009
Springer
14 years 6 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...