Book Your Summer Shop NowBook Your Summer Shop Now
Add Item to wish listAdd Item to wish list

mural: A Formal Development Support System

By C.B. Jones, J. Bicarregui (Contribution by), K.D. Jones, M. Elvang-Goransson (Contribution by), Peter Lindsay, R.E. Fields (Contribution by), R.D. Moore, R. Kneuper (Contribution by), B. Ritchie (Contribution by), A.C. Wills (Contribution by)
Paperback
$54.99
By C.B. Jones, J. Bicarregui (Contribution by), K.D. Jones, M. Elvang-Goransson (Contribution by), Peter Lindsay, R.E. Fields (Contribution by), R.D. Moore, R. Kneuper (Contribution by), B. Ritchie (Contribution by), A.C. Wills (Contribution by)
Promotion message icon

Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5. Learn More

Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural project (a joint Alvey-funded project between Manchester University and Rutherford Appleton Laboratories) has developed a software support system to help the user of formal methods. mural has cre...

Categories

ComputersComputers - General & MiscellaneousGeneral & Miscellaneous Computing