LEADER 05303nam 22007695 450 001 996465909103316 005 20200704051513.0 010 $a1-280-38884-6 010 $a9786613566768 010 $a3-642-15643-6 024 7 $a10.1007/978-3-642-15643-4 035 $a(CKB)2670000000045082 035 $a(SSID)ssj0000446325 035 $a(PQKBManifestationID)11249867 035 $a(PQKBTitleCode)TC0000446325 035 $a(PQKBWorkID)10491643 035 $a(PQKB)11571505 035 $a(DE-He213)978-3-642-15643-4 035 $a(MiAaPQ)EBC3065887 035 $a(PPN)149024800 035 $a(EXLCZ)992670000000045082 100 $a20100920d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Technology for Verification and Analysis$b[electronic resource] $e8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings /$fedited by Ahmed Bouajjani, Wei-Ngan Chin 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (VIII, 404 p. 112 illus.) 225 1 $aProgramming and Software Engineering ;$v6252 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-15642-8 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Probabilistic Automata on Infinite Words: Decidability and Undecidability Results -- Abstraction Learning -- Synthesis: Words and Traces -- Regular Papers -- Promptness in ?-Regular Automata -- Using Redundant Constraints for Refinement -- Methods for Knowledge Based Controlling of Distributed Systems -- Composing Reachability Analyses of Hybrid Systems for Safety and Stability -- The Complexity of Codiagnosability for Discrete Event and Timed Systems -- On Scenario Synchronization -- Compositional Algorithms for LTL Synthesis -- What?s Decidable about Sequences? -- A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network -- Lattice-Valued Binary Decision Diagrams -- A Specification Logic for Exceptions and Beyond -- Non-monotonic Refinement of Control Abstraction for Concurrent Programs -- An Approach for Class Testing from Class Contracts -- Efficient On-the-Fly Emptiness Check for Timed Büchi Automata -- Reachability as Derivability, Finite Countermodels and Verification -- LTL Can Be More Succinct -- Automatic Generation of History-Based Access Control from Information Flow Specification -- Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems -- Symbolic Unfolding of Parametric Stopwatch Petri Nets -- Recursive Timed Automata -- Probabilistic Contracts for Component-Based Design -- Tool Papers -- Model-Checking Web Applications with Web-TLR -- GAVS: Game Arena Visualization and Synthesis -- CRI: Symbolic Debugger for MCAPI Applications -- MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming -- ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems -- Developing Model Checkers Using PAT -- YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B -- COMBINE: A Tool on Combined Formal Methods for Bindingly Verification -- Rbminer: A Tool for Discovering Petri Nets from Transition Systems. 410 0$aProgramming and Software Engineering ;$v6252 606 $aSoftware engineering 606 $aComputer programming 606 $aComputer communication systems 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 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 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputer communication systems. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aComputer Communication Networks. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a511.3/6028563 702 $aBouajjani$b Ahmed$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aChin$b Wei-Ngan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aATVA 2010 906 $aBOOK 912 $a996465909103316 996 $aAutomated Technology for Verification and Analysis$9772478 997 $aUNISA