LEADER 05088nam 22006975 450 001 9910768447303321 005 20200704233439.0 010 $a3-540-68519-7 024 7 $a10.1007/BFb0035375 035 $a(CKB)1000000000234621 035 $a(SSID)ssj0000327276 035 $a(PQKBManifestationID)11230848 035 $a(PQKBTitleCode)TC0000327276 035 $a(PQKBWorkID)10301607 035 $a(PQKB)10106088 035 $a(DE-He213)978-3-540-68519-7 035 $a(PPN)155232002 035 $a(EXLCZ)991000000000234621 100 $a20121227d1997 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] $eThird International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /$fedited by Ed Brinksma 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (X, 437 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1217 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-62790-1 327 $aHardware and software synthesis, optimization, and verification from Esterel programs -- Manipulation algorithms for K*BMDs -- Combining partial order and symmetry reductions -- Partial model checking with ROBDDs -- Space efficient reachability analysis through use of pseudo-root states -- The reference component of PEP -- A tool to support formal reasoning about computer languages -- The term processor generator Kimwitu -- Graphs in MetaFrame: The unifying power of polymorphism -- A tableau system for linear-TIME temporal logic -- Model-checking for a subclass of event structures -- Real-time logics: Fictitious clock as an abstraction of dense time -- Mosel: A flexible toolset for monadic second-order logic -- A brief introduction to coloured Petri Nets -- Design/CPN ? A computer tool for Coloured Petri Nets -- Formal verification of statecharts with instantaneous chain reactions -- Compositional state space generation from Lotos programs -- Syntactic detection of process divergence and non-local choice in message sequence charts -- An automata based verification environment for mobile processes -- Compositional performance analysis -- Incremental development of deadlock-free communicating systems -- Automatic synthesis of specifications from the dynamic observation of reactive programs -- Visual verification of reactive systems -- Theorem prover support for the refinement of stream processing functions -- Integration in PVS: Tables, types, and model checking -- Test generation for intelligent networks using model checking -- Mechanically verified self-stabilizing hierarchical algorithms -- The bounded retransmission protocol must be on time!. 330 $aThis book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1217 606 $aComputer engineering 606 $aComputers 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer communication systems 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 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 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aComputer engineering. 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer communication systems. 615 14$aComputer Engineering. 615 24$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aComputer Communication Networks. 676 $a004.2/1 702 $aBrinksma$b Ed$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTACAS '97 906 $aBOOK 912 $a9910768447303321 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNINA