Published May 28, 2007
| Version v1
Journal article
Open
Formal Methods: Theory Becoming Practice
Description
This paper gives a tutorial introduction to the ideas behind system development usingthe B-Method. Properly handled, the crucial relationship between requirements and formal model leads to systems that are correct by construction. Some industrial successes are outlined.
Files
jucs_article_28784.pdf
Files
(44.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:e63c4881fb17a55c843476f8f3b47c3d
|
44.9 kB | Preview Download |