Tools

LEADER 03760cam 22005657i 4500

001 ssj0001934793;

003 WaSeSS;

005 20190313051101.0;

006 m d ;

007 cr n ;

008 160309s2016 ne a sb 101 0 eng d;

010 a| 2016935536;

020 a| 9781614996262;

020 a| 1614996261;

035 a| (WaSeSS)ssj0001934793;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.9.A25b| N378 2015;

111 2 a| NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systemsd| (2015 :c| Marktoberdorf, Germany)?| UNAUTHORIZED;

245 10 a| Dependable software systems engineeringh| [electronic resource] /c| edited by Javier Esparza, Orna Grumberg and Salomon Sickert.;

260 a| Amsterdam, Netherlands :b| IOS Press,c| [2016];

300 a| ix, 285 pages :b| illustrations ;c| 25 cm.;

490 1 a| NATO science for peace and security. Series D, Information and communication security ;v| vol. 45;

500 a| Proceedings of the NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany, 4-16 August 2015.;

504 a| Includes bibliographical references and indexes.;

505 0 a| Probabilistic model checking / Christel Baier -- SMT solvers : foundations and applications / Nikolaj Bjørner -- Formal models for analyzing security protocols : some lecture notes / Veronique Cortier and Steve Kremer -- Parameterized verification of crowds of anonymous processes / Javier Esparza -- Synthesis of reactive systems / Bernd Finkbeiner -- Between testing and verification : dynamic software model checking / Patrice Godefroid -- Learning-based compositional model checking of behavioral UML systems / Orna Grumberg and Yael Meller -- Programming by examples (and its applications in data wrangling) / Sumit Gulwani -- Verification of concurrent software / Daniel Kroening -- A tutorial on mean-payoff and energy games / Jean-Francois Raskin -- Equivalence -- combinatorics, algebra, proofs / Helmut Seidl ... [et al.] -- Analysis and synthesis with "big code" / Eran Yahav.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer securityv| Congresses.=| ^A256317;

650 0 a| Computer networksx| Security measuresv| Congresses.=| ^A486619;

650 0 a| Software engineeringv| Congresses.=| ^A224279;

650 7 a| Computer networksx| Security measures.2| fast0| (OCoLC)fst00872341;

650 7 a| Computer security.2| fast0| (OCoLC)fst00872484;

650 7 a| Software engineering.2| fast0| (OCoLC)fst01124185;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Esparza, Javier.=| ^A363571;

700 1 a| Grumberg, Orna.=| ^A396883;

700 1 a| Sickert, Salomon.?| UNAUTHORIZED;

830 0 a| NATO science for peace and security series.n| Sub-series D,p| Information and communication security ;v| v. 45.=| ^A1255365;

856 40 z| Full text available from Ebook Central - Academic Completeu| https://ebookcentral.proquest.com/lib/eastcarolina/detail.action?docID=4528955;

947 a| (OCoLC)ocn950692221;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4959365;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4959365-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 11/30/2018x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4959365-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 11/30/2018x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4959365-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 11/30/2018x| EBOOKz| JERESOURCE;

Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg and Salomon Sickert.

Author/creator	NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems
Other author	Esparza, Javier.
Other author	Grumberg, Orna.
Other author	Sickert, Salomon.
Format	Electronic
Publication Info	Amsterdam, Netherlands : IOS Press, [2016]
Description	ix, 285 pages : illustrations ; 25 cm.
Supplemental Content	Full text available from Ebook Central - Academic Complete
Subjects	Computer security--Congresses. Computer networks--Security measures. --Congresses. Software engineering--Congresses.

Series	NATO science for peace and security. Series D, Information and communication security ; vol. 45 NATO science for peace and security series. Sub-series D, Information and communication security ; v. 45. ^A1255365
Contents	Probabilistic model checking / Christel Baier -- SMT solvers : foundations and applications / Nikolaj Bjørner -- Formal models for analyzing security protocols : some lecture notes / Veronique Cortier and Steve Kremer -- Parameterized verification of crowds of anonymous processes / Javier Esparza -- Synthesis of reactive systems / Bernd Finkbeiner -- Between testing and verification : dynamic software model checking / Patrice Godefroid -- Learning-based compositional model checking of behavioral UML systems / Orna Grumberg and Yael Meller -- Programming by examples (and its applications in data wrangling) / Sumit Gulwani -- Verification of concurrent software / Daniel Kroening -- A tutorial on mean-payoff and energy games / Jean-Francois Raskin -- Equivalence -- combinatorics, algebra, proofs / Helmut Seidl ... [et al.] -- Analysis and synthesis with "big code" / Eran Yahav.
General note	Proceedings of the NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany, 4-16 August 2015.
Bibliography note	Includes bibliographical references and indexes.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2016935536
ISBN	9781614996262
ISBN	1614996261

Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg and Salomon Sickert.

Click here for more information about this title