LEADER 04736nam  22007335  450 
001 996202531503316
005 20200630183920.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$b[electronic resource] $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 ;$v8739
300   $aIncludes index.
311   $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 ;$v8739
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aMathematical Logic and Formal Languages.
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   $a996202531503316
996   $aIntegrated Formal Methods$9772444
997   $aUNISA