Skip to content
You are not logged in |Login  
     
Limit search to available items
Record:   Prev Next
Resources
More Information
Bestseller
BestsellerE-book
Conference NATO Advanced Study Institute on Software Systems Safety (2013 : Marktoberdorf, Germany)

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

Publication Info. Amsterdam : IOS Press, 2014.

Item Status

Description 1 online resource.
Physical Medium polychrome
Description text file
Series NATO science for peace and security series. D: Information and communication security, 1879-8292 ; vol. 36
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 36.
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."
Bibliography Includes bibliographical references and indexes.
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""
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.
Local Note eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject Systems software -- Safety measures -- Congresses.
Systems software.
Industrial safety.
Computer security -- Congresses.
Computer security.
Software engineering -- Congresses.
Software engineering.
Genre/Form Electronic books.
Electronic books.
Conference papers and proceedings.
Conference papers and proceedings.
Added Author Grumberg, Orna, editor.
Seidl, Helmut (Computer scientist), editor.
Irlbeck, Maximilian, editor.
NATO Science for Peace and Security Programme.
NATO Emerging Security Challenges Division.
Other Form: Print version: Grumberg, O. Software Systems Safety Burke : IOS Press,c2014 9781614993841
ISBN 9781614993858 electronic book
1614993858 electronic book
9781614993841