LEADER 05526nam 22007095 450 001 996465574203316 005 20200703033954.0 010 $a3-540-49874-5 024 7 $a10.1007/3-540-61042-1 035 $a(CKB)1000000000234429 035 $a(SSID)ssj0000327275 035 $a(PQKBManifestationID)11268698 035 $a(PQKBTitleCode)TC0000327275 035 $a(PQKBWorkID)10298640 035 $a(PQKB)10578673 035 $a(DE-He213)978-3-540-49874-2 035 $a(PPN)155194712 035 $a(EXLCZ)991000000000234429 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTools and Algorithms for the Construction and Analysis of Systems$b[electronic resource] $eSecond International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. /$fedited by Tiziana Margaria, Bernhard Steffen 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (XIII, 443 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1055 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-61042-1 327 $aEarly fault detection tools -- Kleene algebra with tests and commutativity conditions -- Managing proofs -- An analyzer for message sequence charts -- Relation-algebraic analysis of Petri nets with RELVIEW -- Efficient search as a means of executing specifications -- An improvement of McMillan's unfolding algorithm -- Efficient local model-checking for fragments of the modal ?-calculus -- Test generation with inputs, outputs, and quiescence -- Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR -- Automatic compositional verification of some Security properties -- Permutable agents in process algebras -- Strategy construction in infinite games with Streett and Rabin chain winning conditions -- Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control -- Formal verification of a partial-order reduction technique for model checking -- Fully automatic verification and error detection for parameterized iterative sequential circuits -- Priorities for modeling and verifying distributed systems -- Games and modal mu-calculus -- Generic system support for deductive program development -- Extending promela and spin for real time -- Reactive EFSMs ? Reactive Promela/RSPIN -- Probabilistic duration automata for analyzing real-time systems -- The Concurrency Factory software development environment -- The Fc2Tools set (tool demonstration) -- PEP ? more than a Petri Net tool -- Rapid prototyping for an assertional specification language -- cTc ? A tool supporting the construction of cTLA-Specifications -- A tool for proving invariance properties of concurrent systems automatically -- Using the constraint language toupie for ?Software Cost Reduction? specification analysis -- A constraint-oriented Service Creation Environment -- DFA&OPT-MetaFrame: A tool kit for program analysis and optimization -- A construction and analysis tool based on the stochastic process algebra TIPP -- Uppaal in 1995. 330 $aThis book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996. The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1055 606 $aComputers 606 $aOperating systems (Computers) 606 $aComputer logic 606 $aSoftware engineering 606 $aComputer communication systems 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aComputers. 615 0$aOperating systems (Computers). 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 14$aTheory of Computation. 615 24$aOperating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 676 $a004.2/1 702 $aMargaria$b Tiziana$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSteffen$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTACAS '96 906 $aBOOK 912 $a996465574203316 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNISA