Coverart for item
The Resource Software systems safety, edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck

Software systems safety, edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck

Label
Software systems safety
Title
Software systems safety
Statement of responsibility
edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
Until quite recently, the correctness and security of software 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 software, malware attacks and bugs in programs affecting millions of people and making the headlines almost daily. The computer science 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) S
Member of
Cataloging source
N$T
Dewey number
005.8
Index
index present
LC call number
QA76.76.S95
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2013
http://bibfra.me/vocab/lite/meetingName
NATO Advanced Study Institute on Software Systems Safety
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Grumberg, Orna
  • Seidl, Helmut
  • Irlbeck, Maximilian
  • NATO Science for Peace and Security Programme
  • NATO Emerging Security Challenges Division
Series statement
NATO science for peace and security series. D: Information and communication security,
Series volume
vol. 36
http://library.link/vocab/subjectName
  • Systems software
  • Computer security
  • Software engineering
  • COMPUTERS
  • Computer security
  • Software engineering
  • Engineering & Applied Sciences
  • Computer Science
Label
Software systems safety, edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck
Instantiates
Publication
Note
  • "This publication is supported by NATO Science for Peace and Security Programme"--Cover
  • "Published in cooperation with NATO Emerging Security Challenges Division."
  • "Proceedings of the NATO Advanced Study Institute on Software Systems Safety, Marktoberdorf, Germany, 30 July-11 August 2013."
Antecedent source
unknown
Bibliography note
Includes bibliographical references and indexes
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • ""SOFTWARE SYSTEMS SAFETY""; ""Preface""; ""Contents""; ""May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification""; ""SAT-based Model Checking: Interpolation, IC3, and Beyond""; ""Program Synthesis""; ""Applications of Interactive Proof to Data Flow Analysis 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""""Subject Index""; ""Author Index""
Control code
908030528
Dimensions
unknown
Extent
1 online resource
File format
unknown
Form of item
online
Isbn
9781614993841
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)908030528
Label
Software systems safety, edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck
Publication
Note
  • "This publication is supported by NATO Science for Peace and Security Programme"--Cover
  • "Published in cooperation with NATO Emerging Security Challenges Division."
  • "Proceedings of the NATO Advanced Study Institute on Software Systems Safety, Marktoberdorf, Germany, 30 July-11 August 2013."
Antecedent source
unknown
Bibliography note
Includes bibliographical references and indexes
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • ""SOFTWARE SYSTEMS SAFETY""; ""Preface""; ""Contents""; ""May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification""; ""SAT-based Model Checking: Interpolation, IC3, and Beyond""; ""Program Synthesis""; ""Applications of Interactive Proof to Data Flow Analysis 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""""Subject Index""; ""Author Index""
Control code
908030528
Dimensions
unknown
Extent
1 online resource
File format
unknown
Form of item
online
Isbn
9781614993841
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)908030528

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...