LEADER 07040nam 22007455 450 001 996466157403316 005 20200705030959.0 010 $a3-540-46763-7 024 7 $a10.1007/3-540-55179-4 035 $a(CKB)1000000000548804 035 $a(SSID)ssj0000322076 035 $a(PQKBManifestationID)11279115 035 $a(PQKBTitleCode)TC0000322076 035 $a(PQKBWorkID)10280817 035 $a(PQKB)10103609 035 $a(DE-He213)978-3-540-46763-2 035 $a(PPN)155231499 035 $a(EXLCZ)991000000000548804 100 $a20121227d1992 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Aided Verification$b[electronic resource] $e3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings /$fedited by Kim G. Larsen, Arne Skou 205 $a1st ed. 1992. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992. 215 $a1 online resource (XI, 493 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v575 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-55179-4 327 $aTaming infinite state spaces -- Silence is golden: Branching bisimilarity is decidable for context-free processes -- Computing distinguishing formulas for branching bisimulation -- Compositional checking of satisfaction -- An action based framework for verifying logical and behavioural properties of concurrent systems -- A linear-time model-checking algorithm for the alternation-free modal mu-calculus -- Automatic temporal verification of buffer systems -- Mechanically checked proofs of kernel specifications -- A top down approach to the formal specification of SCI cache coherence -- Integer programming in the analysis of concurrent systems -- The lotos model of a fault protected system and its verification using a petri net based approach -- Error diagnosis in finite communicating systems -- Temporal precondition verification of design transformations -- PAM: A process algebra manipulator -- The Concurrency Workbench with priorities -- A proof assistant for PSF -- Avoiding state explosion by composition of minimal covering graphs -- ?On the fly? verification of behavioural equivalences and preorders -- Bounded-memory algorithms for verification on-the-fly -- Generating BDDs for symbolic model checking in CCS -- Vectorized symbolic model checking of computation tree logic for sequential machine verification -- Functional extension of symbolic model checking -- An automated proof technique for finite-state machine equivalence -- From data structure to process structure -- Checking for language inclusion using simulation preorders -- A semantic driven method to check the fineteness of CCS processes -- Using the HOL prove assistant for proving the correctness of term rewriting rules reducing terms of sequential behavior -- Mechanizing a proof by induction of process algebra specifications in higher order logic -- A two-level formal verification methodology using HOL and COSMOS -- Efficient algorithms for verification of equivalences for probabilistic processes -- Partial-order model checking: A guide for the perplexed -- Using partial orders for the efficient verification of deadlock freedom and safety properties -- Complexity results for POMSET languages -- Mechanically verifying safety and liveness properties of delay insensitive circuits -- Automating most parts of hardware proofs in HOL -- An overview and synthesis on timed process algebras -- Minimum and maximum delay problems in realtime systems -- Formal verification of speed-dependent asynchronous circuits using symbolic model checking of Branching Time Regular Temporal Logic -- Verifying properties of HMS machine specifications of real-time systems -- A linear time process algebra -- Deciding properties of regular real timed processes -- An algebra of Boolean processes -- Comparing generic state machines -- An automata theoretic approach to Temporal Logic. 330 $aThis volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of (finite) state systems. The workshop provides a unique opportunity for comparing the numerous verification methods and associated verification tools, and the extent to which they may be utilized in application design. The emphasis is not only on new research results but also on the application of existing results to real verification problems. The papers in the volume areorganized into sections on equivalence checking, model checking, applications, tools for process algebras, the state explosion problem, symbolic model checking, verification and transformation techniques, higher order logic, partial order approaches, hardware verification, timed specification and verification, and automata. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v575 606 $aComputers 606 $aSoftware engineering 606 $aArchitecture, Computer 606 $aComputer logic 606 $aMathematical logic 606 $aSpecial purpose computers 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aArchitecture, Computer. 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aSpecial purpose computers. 615 14$aTheory of Computation. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer System Implementation. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004.0151 702 $aLarsen$b Kim G$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSkou$b Arne$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466157403316 996 $aComputer Aided Verification$9772228 997 $aUNISA LEADER 03129oam 2200661I 450 001 996199888203316 005 20230421043307.0 010 $a1-134-78613-1 010 $a1-134-78614-X 010 $a1-280-31935-6 010 $a0-585-45364-0 010 $a0-203-43585-0 024 7 $a10.4324/9780203435854 035 $a(CKB)1000000000248945 035 $a(EBL)168546 035 $a(OCoLC)230204228 035 $a(SSID)ssj0000278356 035 $a(PQKBManifestationID)11209234 035 $a(PQKBTitleCode)TC0000278356 035 $a(PQKBWorkID)10246173 035 $a(PQKB)10107823 035 $a(SSID)ssj0000132731 035 $a(PQKBManifestationID)11142086 035 $a(PQKBTitleCode)TC0000132731 035 $a(PQKBWorkID)10039510 035 $a(PQKB)11466918 035 $a(MiAaPQ)EBC168546 035 $a(Au-PeEL)EBL168546 035 $a(CaPaEBR)ebr10100354 035 $a(CaONFJC)MIL31935 035 $a(OCoLC)560395327 035 $a(EXLCZ)991000000000248945 100 $a20180331d1996 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aCritical readings on Piaget /$fedited by Leslie Smith 210 1$aLondon ;$aNew York :$cRoutledge,$d1996. 215 $a1 online resource (567 p.) 300 $aDescription based upon print version of record. 311 $a1-138-00689-0 311 $a0-415-13317-3 320 $aIncludes bibliographical references and index. 327 $aBook Cover; Title; Contents; List of contributors; List of tables; List of figures; Foreword; Chronological table of reprinted papers; Foreword to Jean Piaget: Critical Assessments; Chronological table of reprinted articles; Piaget's first theory of equilibrium (1918); Learning and adaptation in the theory of constructivism; Jean Piaget: the unknown sociologist?; Values, knowledge, and Piaget; An exploration of the long-term far-transfer effects following an extended intervention program in the high school science curriculum 327 $aThe acquisition of conceptual knowledge in science by primary school children: group interaction and the understanding of motion down an inclineThinking as argument; The microgenetic method: a direct means for studying cognitive development; Piaget and measurement II: empirical validation of the Piagetian model; Higher-order structure and relational reasoning: contrasting analogical and thematic relations; A life-span approach to object permanence; Magic: special but not excluded; C 330 $aThis new collection of distinctive studies tracks developments in the most recent published work during the period 1990-95, with an integral guide and editorial commentary by Leslie Smith. A useful and compact text for students and researchers. 606 $aKnowledge, Theory of 615 0$aKnowledge, Theory of. 676 $a155.4/13/092 701 $aSmith$b Leslie$f1943-$0880331 801 0$bFlBoTFG 801 1$bFlBoTFG 906 $aBOOK 912 $a996199888203316 996 $aCritical readings on Piaget$91965739 997 $aUNISA