16725 search results - page 27 / 3345 » Engineering Software Correctness |
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
APSEC
2002
IEEE
15 years 4 months ago
2002
IEEE
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...
RE
1999
Springer
15 years 4 months ago
1999
Springer
Multiple viewpoints are often used in Requirements Engineering to facilitate traceability to stakeholders, to structure the requirements process, and to provide richer modelling b...
ASWEC
2010
IEEE
14 years 12 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...