04285nam 2200673 450 99646532610331620220512132753.03-540-79707-610.1007/978-3-540-79707-4(CKB)1000000000440623(SSID)ssj0000317716(PQKBManifestationID)11240620(PQKBTitleCode)TC0000317716(PQKBWorkID)10294830(PQKB)10377887(DE-He213)978-3-540-79707-4(MiAaPQ)EBC4975638(MiAaPQ)EBC6709789(Au-PeEL)EBL4975638(CaONFJC)MIL185520(OCoLC)1024280526(Au-PeEL)EBL6709789(PPN)127049452(EXLCZ)99100000000044062320220512d2008 uy 0engurnn|008mamaatxtccrFormal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /Stefan Leue, Pedro Merino (editors)1st ed. 2008.Berlin, Germany ;New York, New York :Springer,[2008]©20081 online resource (X, 254 p.) Programming and Software Engineering ;4916Bibliographic Level Mode of Issuance: Monograph3-540-79706-8 Includes bibliographical references and author index.Invited Presentations -- Verification of Embedded Software: From Mars to Actions -- Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel -- Research Papers -- Static Analysis of the Accuracy in Control Systems: Principles and Experiments -- Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code -- Checking the TWIN Elevator System by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler -- Computing Worst-Case Response Times in Real-Time Avionics Applications -- Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization -- An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications -- Model Classifications and Automated Verification -- An Approach to Formalization and Analysis of Message Passing Libraries -- Analysis of a Session-Layer Protocol in mCRL2 -- Automatic Certification of Java Source Code in Rewriting Logic -- Reverse Engineered Formal Models for GUI Testing -- Automatic Interoperability Test Case Generation Based on Formal Definitions.This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing.Programming and Software Engineering ;4916Computer programsVerificationCongressesSoftware engineeringCongressesFormal methods (Computer science)CongressesComputer programsVerificationSoftware engineeringFormal methods (Computer science)005.1/454.52bclLeue StefanMerino Pedro1962-MiAaPQMiAaPQMiAaPQBOOK996465326103316Formal Methods for Industrial Critical Systems1921860UNISA