923 search results - page 1 / 185 » Proving the value of formal methods |
FORTE
1994
13 years 6 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
IFL
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
TYPES
2004
Springer
13 years 10 months ago
2004
Springer
TYPES
1993
Springer
13 years 8 months ago
1993
Springer
ISOLA
2007
Springer
13 years 10 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...