LEADER 04988nam 22008655 450 001 9910484726903321 005 20251113203045.0 010 $a1-282-33177-9 010 $a9786612331770 010 $a3-642-03240-0 024 7 $a10.1007/978-3-642-03240-0 035 $a(CKB)1000000000761243 035 $a(EBL)450518 035 $a(OCoLC)437345752 035 $a(SSID)ssj0000296711 035 $a(PQKBManifestationID)11192218 035 $a(PQKBTitleCode)TC0000296711 035 $a(PQKBWorkID)10328065 035 $a(PQKB)11092935 035 $a(DE-He213)978-3-642-03240-0 035 $a(MiAaPQ)EBC450518 035 $a(MiAaPQ)EBC6386345 035 $a(PPN)136310826 035 $a(EXLCZ)991000000000761243 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods for Industrial Critical Systems $e13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers /$fedited by Darren Cofer, Alessandro Fantechi 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (241 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5596 300 $aIncludes index. 311 08$a3-642-03239-7 320 $aIncludes bibliographical references and index. 327 $aInvited Presentations -- Formal Methods for Critical Systems -- Model-Based Verification of Automotive Control Software -- Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach -- Panel -- Panel Discussion on Formal Methods in Commercial Software Development Tools -- Research Papers -- LETO - A Lustre-Based Test Oracle for Airbus Critical Systems -- Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators -- Fighting State Space Explosion: Review and Evaluation -- Local Quantitative LTL Model Checking -- Efficient Symbolic Model Checking for Process Algebras -- Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving -- Using CSP//B Components: Application to a Platoon of Vehicles -- Formal Verification of the Implementability of Timing Requirements -- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties -- Can Flash Memory Help in Model Checking? -- From Informal Requirements to Property-Driven Formal Validation -- Automated Certification of Non-Interference in Rewriting Logic -- Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications -- Using Datalog and Boolean Equation Systems for Program Analysis. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International Conference on Automated Software Engineering. The 14 revised full papers presented together with the abstracts of 3 invited presentations and 2 short presentations introducing the panel were carefully selected from 36 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications. They cover topics such as model checking, testing, software verification, real-time performance, and industrial case studies. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v5596 606 $aComputer networks 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aComputers, Special purpose 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aSpecial Purpose and Application-Based Systems 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aComputers, Special purpose. 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004.0151 686 $aDAT 260f$2stub 686 $aDAT 343f$2stub 686 $aSS 4800$2rvk 702 $aCofer$b Darren 702 $aFantechi$b Alessandro 712 12$aInternational Workshop on Formal Methods for Industrial Critical Systems 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484726903321 996 $aFormal Methods for Industrial Critical Systems$91921860 997 $aUNINA