2514 search results - page 174 / 503 » The use of industrial-strength formal methods |
154
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
169
click to vote
AFP
1995
Springer
15 years 10 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
152
click to vote
SAS
2000
Springer
15 years 10 months ago
2000
Springer
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...
161
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
165
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...