Software systems safety:
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
IOS Press
2014
|
| Series: | NATO science for peace and security series
v. 36 |
| Subjects: | |
| Online Access: | FAW01 FAW02 |
| Item Description: | Online resource; title from PDF title page (Ebsco, viewed April 28, 2015). - "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." |
| Physical Description: | 1 online resource |
| ISBN: | 9781614993858 1614993858 9781614993841 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043784564 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160920s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9781614993858 |9 978-1-61499-385-8 | ||
| 020 | |a 1614993858 |9 1-61499-385-8 | ||
| 020 | |a 9781614993841 |9 978-1-61499-384-1 | ||
| 035 | |a (ZDB-4-EBA)ocn908030528 | ||
| 035 | |a (ZDB-4-ITC)ocn908030528 | ||
| 035 | |a (OCoLC)908030528 | ||
| 035 | |a (DE-599)BVBBV043784564 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 005.8 |2 23 | |
| 110 | 2 | |a NATO Advanced Study Institute on Software Systems Safety <2013, Marktoberdorf, Germany> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Software systems safety |c edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck |
| 264 | 1 | |a Amsterdam |b IOS Press |c 2014 | |
| 300 | |a 1 online resource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a NATO science for peace and security series |v v. 36 | |
| 500 | |a Online resource; title from PDF title page (Ebsco, viewed April 28, 2015). - "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." | ||
| 505 | 8 | |a ""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"" | |
| 505 | 8 | |a ""Practical Software Synthesis""""Subject Index""; ""Author Index"" | |
| 505 | 8 | |a 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. | |
| 650 | 7 | |a COMPUTERS / Security / General |2 bisacsh | |
| 650 | 4 | |a Computer software / Reliability / Congresses | |
| 650 | 4 | |a Software engineering / Congresses | |
| 650 | 4 | |a Software protection / Congresses | |
| 650 | 4 | |a System safety / Congresses | |
| 650 | 4 | |a Systems software |x Safety measures |v Congresses |a Computer security |v Congresses |a Software engineering |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Grumberg, Orna |4 edt | |
| 700 | 1 | |a Seidl, Helmut |4 edt | |
| 700 | 1 | |a Irlbeck, Maximilian |4 edt | |
| 710 | 2 | |a NATO Science for Peace and Security Programme |e Sonstige |4 oth | |
| 710 | 2 | |a NATO Emerging Security Challenges Division |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Grumberg, O |t . Software Systems Safety |
| 912 | |a ZDB-4-EBA |a ZDB-4-ITC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029195624 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=984688 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=984688 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804176617492185088 |
|---|---|
| any_adam_object | |
| author2 | Grumberg, Orna Seidl, Helmut Irlbeck, Maximilian |
| author2_role | edt edt edt |
| author2_variant | o g og h s hs m i mi |
| author_corporate | NATO Advanced Study Institute on Software Systems Safety <2013, Marktoberdorf, Germany> |
| author_corporate_role | aut |
| author_facet | Grumberg, Orna Seidl, Helmut Irlbeck, Maximilian NATO Advanced Study Institute on Software Systems Safety <2013, Marktoberdorf, Germany> |
| author_sort | NATO Advanced Study Institute on Software Systems Safety <2013, Marktoberdorf, Germany> |
| building | Verbundindex |
| bvnumber | BV043784564 |
| collection | ZDB-4-EBA ZDB-4-ITC |
| 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"" 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. |
| ctrlnum | (ZDB-4-EBA)ocn908030528 (ZDB-4-ITC)ocn908030528 (OCoLC)908030528 (DE-599)BVBBV043784564 |
| dewey-full | 005.8 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.8 |
| dewey-search | 005.8 |
| dewey-sort | 15.8 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03916nmm a2200565zcb4500</leader><controlfield tag="001">BV043784564</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160920s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614993858</subfield><subfield code="9">978-1-61499-385-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614993858</subfield><subfield code="9">1-61499-385-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614993841</subfield><subfield code="9">978-1-61499-384-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-4-EBA)ocn908030528</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-4-ITC)ocn908030528</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)908030528</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043784564</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.8</subfield><subfield code="2">23</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">NATO Advanced Study Institute on Software Systems Safety <2013, Marktoberdorf, Germany></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software systems safety</subfield><subfield code="c">edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">NATO science for peace and security series</subfield><subfield code="v">v. 36</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Online resource; title from PDF title page (Ebsco, viewed April 28, 2015). - "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."</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">""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""</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">""Practical Software Synthesis""""Subject Index""; ""Author Index""</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Security / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software / Reliability / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software protection / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System safety / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems software</subfield><subfield code="x">Safety measures</subfield><subfield code="v">Congresses</subfield><subfield code="a">Computer security</subfield><subfield code="v">Congresses</subfield><subfield code="a">Software engineering</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grumberg, Orna</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seidl, Helmut</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Irlbeck, Maximilian</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">NATO Science for Peace and Security Programme</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">NATO Emerging Security Challenges Division</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Grumberg, O</subfield><subfield code="t">. Software Systems Safety</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield><subfield code="a">ZDB-4-ITC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029195624</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=984688</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=984688</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043784564 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:35:02Z |
| institution | BVB |
| isbn | 9781614993858 1614993858 9781614993841 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029195624 |
| oclc_num | 908030528 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 online resource |
| psigel | ZDB-4-EBA ZDB-4-ITC ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | IOS Press |
| record_format | marc |
| series2 | NATO science for peace and security series |
| spelling | NATO Advanced Study Institute on Software Systems Safety <2013, Marktoberdorf, Germany> Verfasser aut Software systems safety edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck Amsterdam IOS Press 2014 1 online resource txt rdacontent c rdamedia cr rdacarrier NATO science for peace and security series v. 36 Online resource; title from PDF title page (Ebsco, viewed April 28, 2015). - "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." ""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"" 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. COMPUTERS / Security / General bisacsh Computer software / Reliability / Congresses Software engineering / Congresses Software protection / Congresses System safety / Congresses Systems software Safety measures Congresses Computer security Congresses Software engineering Congresses (DE-588)1071861417 Konferenzschrift gnd-content Grumberg, Orna edt Seidl, Helmut edt Irlbeck, Maximilian edt NATO Science for Peace and Security Programme Sonstige oth NATO Emerging Security Challenges Division Sonstige oth Erscheint auch als Druck-Ausgabe Grumberg, O . Software Systems Safety |
| spellingShingle | Software systems safety ""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"" 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. COMPUTERS / Security / General bisacsh Computer software / Reliability / Congresses Software engineering / Congresses Software protection / Congresses System safety / Congresses Systems software Safety measures Congresses Computer security Congresses Software engineering Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Software systems safety |
| title_auth | Software systems safety |
| title_exact_search | Software systems safety |
| title_full | Software systems safety edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck |
| title_fullStr | Software systems safety edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck |
| title_full_unstemmed | Software systems safety edited by Orna Grumber, Helmut Seidl and Maximillian Irlbeck |
| title_short | Software systems safety |
| title_sort | software systems safety |
| topic | COMPUTERS / Security / General bisacsh Computer software / Reliability / Congresses Software engineering / Congresses Software protection / Congresses System safety / Congresses Systems software Safety measures Congresses Computer security Congresses Software engineering Congresses |
| topic_facet | COMPUTERS / Security / General Computer software / Reliability / Congresses Software engineering / Congresses Software protection / Congresses System safety / Congresses Systems software Safety measures Congresses Computer security Congresses Software engineering Congresses Konferenzschrift |
| work_keys_str_mv | AT natoadvancedstudyinstituteonsoftwaresystemssafety2013marktoberdorfgermany softwaresystemssafety AT grumbergorna softwaresystemssafety AT seidlhelmut softwaresystemssafety AT irlbeckmaximilian softwaresystemssafety AT natoscienceforpeaceandsecurityprogramme softwaresystemssafety AT natoemergingsecuritychallengesdivision softwaresystemssafety |