LEADER 04521nam  22007335  450 
001 996418204703316
005 20200703095144.0
010   $a3-030-41600-3
024 7 $a10.1007/978-3-030-41600-3
035   $a(CKB)4100000010770672
035   $a(DE-He213)978-3-030-41600-3
035   $a(MiAaPQ)EBC6133784
035   $a(PPN)243222718
035   $a(EXLCZ)994100000010770672
100   $a20200313d2020      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aVerified Software. Theories, Tools, and Experiments$b[electronic resource] $e11th International Conference, VSTTE 2019, New York City, NY, USA, July 13?14, 2019, Revised Selected Papers /$fedited by Supratik Chakraborty, Jorge A. Navas
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XVI, 193 p. 221 illus., 30 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v12031
300   $aIncludes index.
311   $a3-030-41599-6 
327   $aUncertainty, Modeling and Safety Assurance: Towards a Unified Framework -- Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer -- Verifying Network Control Planes -- Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme -- Incremental Minimization of Symbolic Automata -- Seamless Interactive Program Verification -- Formal Verification of Work Flow Policies for Smart Contracts in Azure Blockchain -- Ghost Code in Action: Automated Verification of a Symbolic Interpreter -- DCSynth: Guided Reactive Synthesis with Soft Requirements -- Refinement type contracts for verification of scientific investigative software -- solc-verify: A Modular Verifier for Solidity Smart Contracts -- Intersection and Rotation of Assumption Literals Boosts Bug-Finding.
330   $aThis volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
410  0$aProgramming and Software Engineering ;$v12031
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputer system failures
606   $aSpecial purpose computers
606   $aComputers
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   $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aThe Computing Profession$3https://scigraph.springernature.com/ontologies/product-market-codes/I24075
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer system failures.
615  0$aSpecial purpose computers.
615  0$aComputers.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSystem Performance and Evaluation.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aThe Computing Profession.
676   $a005.14
702   $aChakraborty$b Supratik$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNavas$b Jorge A$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996418204703316
996   $aVerified Software. Theories, Tools, and Experiments$92025652
997   $aUNISA