LEADER 05062nam  22007815  450 
001 996465839103316
005 20200630021008.0
010   $a3-642-33296-X
024 7 $a10.1007/978-3-642-33296-8
035   $a(CKB)3400000000086210
035   $a(SSID)ssj0000767512
035   $a(PQKBManifestationID)11475571
035   $a(PQKBTitleCode)TC0000767512
035   $a(PQKBWorkID)10758078
035   $a(PQKB)10249071
035   $a(DE-He213)978-3-642-33296-8
035   $a(MiAaPQ)EBC3069845
035   $a(PPN)168324067
035   $a(EXLCZ)993400000000086210
100   $a20120917d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods: Foundations and Applications$b[electronic resource] $e15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /$fedited by Rohit Gheyi, David Naumann
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (X, 227 p. 67 illus.) 
225 1 $aProgramming and Software Engineering ;$v7498
300   $aInternational conference proceedings.
311   $a3-642-33295-1 
320   $aIncludes bibliographical references and author index.
327   $aThe Versatile Synchronous Observer.-Ten Years of Automated Code Analysis at Microsoft.-Model Checking Propositional Deontic Temporal Logic via a mu-calculus Characterization.-An approach using the B method to formal verification of PLC programs in an Industrial Setting.-Palytoxin Inhibits the Sodium-Potassium Pump -- An Investigation of an Electrophysiological Model Using Probabilistic Model Checking.-BETA: A B Based Testing Approach.-A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications.-Specification Patterns for Properties over Reachable States of Graph Grammars.-Refinement, Compositionality, and Model-Driven Engineering -- Identifying hardware failures systematically -- Investigating Time Properties of Interrupt-Driven Programs -- Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows -- Composition of Model Transformations: A Categorical Framework -- Verification Rules for Exception Handling in Eiffel -- Sound reduction of persistent sets for deadlock detection in MPI applications -- Alternating-time Temporal Logic in the Calculus of (Co)Inductive Co.
330   $aThis book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
410  0$aProgramming and Software Engineering ;$v7498
606   $aSoftware engineering
606   $aComputer logic
606   $aMathematical logic
606   $aProgramming languages (Electronic computers)
606   $aManagement information systems
606   $aComputer science
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   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
606   $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aProgramming languages (Electronic computers).
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aManagement of Computing and Information Systems.
615 24$aComputer Science, general.
676   $a004.01/51
702   $aGheyi$b Rohit$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNaumann$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aBrazilian Symposium on Formal Methods
906   $aBOOK
912   $a996465839103316
996   $aFormal Methods: Foundations and Applications$9773789
997   $aUNISA