000 04451nam a22006015i 4500
001 978-3-642-03240-0
003 DE-He213
005 20240730173749.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642032400
_9978-3-642-03240-0
024 7 _a10.1007/978-3-642-03240-0
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM043000
_2bisacsh
072 7 _aUKN
_2thema
082 0 4 _a004.6
_223
245 1 0 _aFormal Methods for Industrial Critical Systems
_h[electronic resource] :
_b13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers /
_cedited by Darren Cofer, Alessandro Fantechi.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aX, 233 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5596
505 0 _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.
520 _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.
650 0 _aComputer networks .
_931572
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer science.
_99832
650 0 _aComputers, Special purpose.
_946653
650 1 4 _aComputer Communication Networks.
_9109606
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
700 1 _aCofer, Darren.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9109607
700 1 _aFantechi, Alessandro.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9109608
710 2 _aSpringerLink (Online service)
_9109609
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642032394
776 0 8 _iPrinted edition:
_z9783642032417
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5596
_9109610
856 4 0 _uhttps://doi.org/10.1007/978-3-642-03240-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89082
_d89082