2836 search results - page 60 / 568 » Model Checking for Software Architectures |
115
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
129
Voted
MPC
2004
Springer
15 years 8 months ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
129
Voted
PROCOMET
1998
15 years 4 months ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
115
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
116
Voted
DSL
1997
15 years 4 months ago
1997
Software architectures shift the focus of developers from lines-of-code to coarser-grained elements and their interconnection structure. Architecture description languages (ADLs) ...