Software Systems Safety

Software Systems Safety Front Cover
0 Reviews
2014-05-15
104 pages

Book Description

Until quite recently, the correctness and of systems was a largely theoretical problem relevant only for a small group of computer specialists. Today it is a fundamental problem for society at large, with security breaches in banking , attacks and bugs in programs affecting millions of people and making the headlines almost daily. The community is developing verification and synthesis tools which will mechanize ever more tasks in the design of secure programs. This book presents the papers delivered at the NATO Advanced Study Institute (ASI) Summer School Marktoberdorf 2013 Systems Safety. The participants represented research groups from both industry and academia, and the subjects covered included: model checking via systematic testing, program synthesis, E voting systems, probabilistic model checking in biology, infinite state model checking, Boolean satisfiability, interactive proof, and security by information flow control. The Marktoberdorf Summer School is one of the most renowned international computer science summer schools, and this book, with its detailed overview of current research results with special emphasis on the solving of systems security problems, will be of interest to all those whose work involves systems security.

Table of Contents

  • May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification
  • -based Model Checking: Interpolation, IC3, and Beyond
  • Program Synthesis
  • Applications of Interactive Proof to Data Flow and Security
  • E-Voting Systems
  • Probabilistic Model Checking for Biology
  • Foundations of Infinite-State Verification
  • Boolean Satisfiability: Solvers and Extensions
  • Programming in Paragon
  • Frameworks for Interprocedural Analysis of Concurrent Programs
  • Practical Software Synthesis

Book Details

  • Title: Software Systems Safety
  • Author: , ,
  • Length: 104 pages
  • Edition: 1
  • Language: English
  • Publisher:
  • Publication Date: 2014-05-15
  • ISBN-10: 161499384X
  • ISBN-13: 9781614993841
File HostFree Download LinkFormatSize (MB)Upload Date
UsersCloud Click to downloadTrue PDF5.907/06/2018
ZippyShare Click to downloadTrue PDF5.803/10/2016
How to Download? Report Dead Links & Get a Copy

Leave a Reply