LEADER 04396nam  22007335  450 
001 9910483520203321
005 20251226195627.0
010   $a3-319-10181-1
024 7 $a10.1007/978-3-319-10181-1
035   $a(CKB)3710000000227371
035   $a(SSID)ssj0001338740
035   $a(PQKBManifestationID)11748740
035   $a(PQKBTitleCode)TC0001338740
035   $a(PQKBWorkID)11344870
035   $a(PQKB)10508737
035   $a(DE-He213)978-3-319-10181-1
035   $a(MiAaPQ)EBC6281390
035   $a(MiAaPQ)EBC5586343
035   $a(Au-PeEL)EBL5586343
035   $a(OCoLC)889715730
035   $a(PPN)180626078
035   $a(EXLCZ)993710000000227371
100   $a20140829d2014      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aIntegrated Formal Methods $e11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /$fedited by Elvira Albert, Emil Sekerinski
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XII, 390 p. 125 illus.)
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v8739
300   $aIncludes index.
311 08$a3-319-10180-3 
327   $aShape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures -- How to Break the Bank: Semantics of Capability Policies -- Model-Checking Circus State-Rich Specifications -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations -- Managing LTL Properties in Event-B Refinement -- Formal Security Analysis of the MaCAN Protocol -- A Probabilistic Framework for Security Scenarios with Dependent Actions -- A Hybrid Analysis for Security Protocols with State -- Towards a Formal Semantics-Based Technique for Interprocedural Slicing -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability on TSO Architectures -- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset -- A Separation Principle for Embedded System Interfacing.
330   $aThis book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v8739
606   $aSoftware engineering
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aMachine theory
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aFormal Languages and Automata Theory
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aMachine theory.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aFormal Languages and Automata Theory.
676   $a004.0151
702   $aAlbert$b Elvira$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSekerinski$b Emil$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483520203321
996   $aIntegrated Formal Methods$92860239
997   $aUNINA