001447964 000__ 04574cam\a2200517Ii\4500
001447964 001__ 1447964
001447964 003__ OCoLC
001447964 005__ 20230310004215.0
001447964 006__ m\\\\\o\\d\\\\\\\\
001447964 007__ cr\un\nnnunnun
001447964 008__ 220706s2022\\\\sz\a\\\\o\\\\\011\0\eng\d
001447964 020__ $$a9783031081668$$q(electronic bk.)
001447964 020__ $$a3031081668$$q(electronic bk.)
001447964 020__ $$z9783031081651$$q(print)
001447964 0247_ $$a10.1007/978-3-031-08166-8$$2doi
001447964 035__ $$aSP(OCoLC)1334603776
001447964 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dOCLCF$$dOCLCQ
001447964 049__ $$aISEA
001447964 050_4 $$aQA76.9.L63
001447964 08204 $$a005.101/5113$$223/eng/20220706
001447964 24504 $$aThe logic of software :$$ba tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday /$$cWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.).
001447964 264_1 $$aCham, Switzerland :$$bSpringer,$$c2022.
001447964 300__ $$a1 online resource (xii, 521 pages) :$$billustrations (some color).
001447964 336__ $$atext$$btxt$$2rdacontent
001447964 337__ $$acomputer$$bc$$2rdamedia
001447964 338__ $$aonline resource$$bcr$$2rdacarrier
001447964 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13360
001447964 500__ $$aIncludes author index.
001447964 5050_ $$aI can see clearly now: Clairvoyant Assertions for Deadlock Checking -- When COSTA met KeY: Verified Cost Bounds -- Lifelong Learning of Reactive Systems in Practice -- A Case Study in Information Flow Re nement for Low Level Systems -- Re-CorC-ing KeY: Correct-by-Construction Software Development based on KeY -- Specifying the boundary between unverified and verified code -- Programming legal contracts - a beginners guide to Stipula -- Towards a Modular and Variability-aware Aerodynamic Simulator -- Reasoning about Active Objects: A Sound and Complete Assertional Proof Method -- Improving Automatic Complexity Analysis of Integer Programs -- Alice in Wineland: A Fairy Tale with Contracts -- Teaching Design by Contract using Snap -- On the Notion of Naturalness in Formal Modeling -- The Karlsruhe Java Verification Suite -- Further Lessons from the JML Project -- Inference in MaxSAT and MinSAT -- Implications of Deductive Verification on Research Quality -- Computing in Lukasiewicz logic and AF-algebras -- Speaking about Wine: Another Case Study in Bridging the Gap between Formal and Informal Knowledge -- Software & System Verification with KIV -- A Note on Idleness Detection of Actor Systems -- Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives -- Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects -- Transparent Treatment of for-Loops in Proofs. .
001447964 506__ $$aAccess limited to authorized users.
001447964 520__ $$aThis Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner's main research focus: formal methods, in particular applied to software verification.
001447964 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 6, 2022).
001447964 650_0 $$aComputer logic.
001447964 655_0 $$aElectronic books.
001447964 7001_ $$aHähnle, Reiner,$$ehonouree.
001447964 7001_ $$aAhrendt, Wolfgang,$$eeditor.$$1https://orcid.org/0000-0002-5671-2555
001447964 7001_ $$aBeckert, Bernhard,$$eeditor.$$1https://orcid.org/0000-0002-9672-3291
001447964 7001_ $$aBubel, Richard,$$eeditor.
001447964 7001_ $$aJohnsen, Einar Broch,$$eeditor.$$1https://orcid.org/0000-0001-5382-3949
001447964 830_0 $$aLecture notes in computer science ;$$v13360.$$x1611-3349
001447964 852__ $$bebk
001447964 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-08166-8$$zOnline Access$$91397441.1
001447964 909CO $$ooai:library.usi.edu:1447964$$pGLOBAL_SET
001447964 980__ $$aBIB
001447964 980__ $$aEBOOK
001447964 982__ $$aEbook
001447964 983__ $$aOnline
001447964 994__ $$a92$$bISE