8828 search results - page 312 / 1766 » Formal methods in practice |
151
click to vote
CAISE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
170
click to vote
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
149
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
164
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
136
click to vote
CADE
1994
Springer
15 years 10 months ago
1994
Springer
This paper introduces the imps proof script mechanism and some practical methods for exploiting it.