LEADER 03538nam  22007335  450 
001 9910349432503321
005 20230330030621.0
010   $a3-319-94111-9
024 7 $a10.1007/978-3-319-94111-0
035   $a(CKB)3810000000358689
035   $a(DE-He213)978-3-319-94111-0
035   $a(MiAaPQ)EBC6303541
035   $a(PPN)229494609
035   $a(EXLCZ)993810000000358689
100   $a20180615d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModel Checking Software $e25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /$fedited by Marķa del Mar Gallardo, Pedro Merino
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XVI, 347 p. 78 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10869
311   $a3-319-94110-0 
320   $aIncludes bibliographical references and index.
327   $aFormal verification techniques for automated analysis of software -- Formal analysis for modeling languages, such as UML/state charts -- Formal specification languages, temporal logic, design-by-contract -- Model checking -- Automated theorem proving, including SAT and SMT -- Verifying compilers -- Abstraction and symbolic execution techniques. .
330   $aThis book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10869
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer simulation
606   $aMachine theory
606   $aAlgorithms
606   $aComputer science
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aComputer Modelling
606   $aFormal Languages and Automata Theory
606   $aAlgorithms
606   $aComputer Science Logic and Foundations of Programming
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer simulation.
615  0$aMachine theory.
615  0$aAlgorithms.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aComputer Modelling.
615 24$aFormal Languages and Automata Theory.
615 24$aAlgorithms.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a005.14
702   $aGallardo$b Marķa del Mar$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMerino$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349432503321
996   $aModel Checking Software$93359484
997   $aUNINA