Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Edited by  , Edited by  , Edited by 

List price: US$161.00

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

The objective of this publication is to present the state-of-the-art in the field of proof technology in connection with secure and correct software. The contributors have shown that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees. By providing the necessary theoretical background and presenting corresponding application oriented concepts, the objective is an in-depth presentation of such methods covering both theoretical foundations and industrial practice.show more

Product details

  • Hardback | 332 pages
  • 167.64 x 243.84 x 25.4mm | 725.74g
  • IOS Press
  • IOS Press,US
  • Amsterdam, United States
  • English
  • 1586038435
  • 9781586038434